|
|
|
|
LEADER |
00889cam#a22002531a#4500 |
008 |
770203s1967####fr############000#0#fre## |
005 |
20060213082424.0 |
001 |
BCCAB005812 |
003 |
AR-BCCAB |
245 |
1 |
0 |
|a Éléments de logique mathématique :
|b théorie des modèles /
|c [par] G. Kreisel... J. L. Krivine.
|
260 |
# |
# |
|a Paris :
|b Dunod,
|c 1967.
|
300 |
# |
# |
|a viii, 214 p. ;
|c 25 cm.
|
100 |
1 |
# |
|a Kreisel, Georg.
|
700 |
1 |
# |
|a Krivine, J. L.
|q (Jean Louis)
|e joint author.
|
810 |
2 |
# |
|a Société mathétique de France, Paris.
|t Monographies ;
|v 3.
|
650 |
# |
0 |
|a Logic, Symbolic and mathematical.
|
650 |
# |
0 |
|a Mathematical models.
|
010 |
# |
# |
|a ###67091713#
|
050 |
0 |
0 |
|a QA9
|b .K77
|
490 |
1 |
# |
|a Monographies de la Société mathétique de France ;
|v 3
|
040 |
# |
# |
|a DLC
|c DGU
|d FrOyUPS
|d DLC
|b spa
|d arbccab
|
082 |
0 |
# |
|a 164
|
942 |
# |
# |
|c BK
|
952 |
# |
# |
|2 udc
|a ARBCCAB
|b ARBCCAB
|i 5541
|o 510.6 K876
|p 5541
|t 1
|y BK
|