Éléments de logique mathématique : théorie des modèles /
Guardado en:
Autor Principal: | |
---|---|
Otros Autores: | |
Formato: | Libro |
Idioma: | French |
Publicado: |
Paris :
Dunod,
1967.
|
Series: | Monographies de la Société mathématique de France ;
3 |
Materias: | |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
LEADER | 00844cam a22002295a 4500 | ||
---|---|---|---|
001 | inmabb004461 | ||
008 | 770203s1967####fr############000#0#fre## | ||
005 | 20160624174755.0 | ||
245 | 1 | 0 | |a Éléments de logique mathématique : |b théorie des modèles / |c G. Kreisel, J. L. Krivine. |
260 | |a Paris : |b Dunod, |c 1967. | ||
300 | |a viii, 212 p. ; |c 25 cm. | ||
490 | 1 | |a Monographies de la Société mathématique de France ; |v 3 | |
510 | 4 | |a MR, |c 34 #7331 | |
100 | 1 | |a Kreisel, Georg. |9 119543 | |
700 | 1 | |a Krivine, J. L. |q (Jean Louis) |9 119544 | |
810 | 2 | |a Société mathématique de France, Paris. |t Monographies ; |v 3. | |
650 | 0 | |a Logic, Symbolic and mathematical. |9 063634 | |
650 | 0 | |a Mathematical models. |9 072678 | |
084 | |a 03Cxx |2 msc2000 | ||
010 | |a 67091713 | ||
040 | |a DLC |c DGU |d FrOyUPS |d DLC | ||
859 | |h 03 |i K92 |p A-2450 |b BIB. MATEMATICA |