Catálogo Bibliográfico
LDR | ·····cam##22·····1a#4500 |
001 | 005812 |
005 | 20060213082424.0 |
008 | 770203s1967####fr############000#0#fre## |
245 | 10 | $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. |
082 | ## | $a 164 |
650 | #0 | $a Logic, Symbolic and mathematical. |
650 | #0 | $a Mathematical models. |
010 | ## | $a ###67091713# |
050 | 00 | $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 |