LEADER 01099nam0-22003971i-450-
001 990001018880403321
005 20130508112331.0
035   $a000101888
035   $aFED01000101888
035   $a(Aleph)000101888FED01
035   $a000101888
100   $a20130508d1967----km-y0itay50------ba
101 0 $afre
102   $aFR
105   $ay-------001yy
200 1 $aEléments de logique mathématique$ethéorie des modèles$fG. Kreisel, J.L. Krivine
210   $aParis$cDunod$d1967
215   $aVIII, 212 p.$d25 cm
225 1 $aMonographies de la Société mathématique de France$v3
610 0 $aLogica
610 0 $aRicorsività
676   $a160
676   $a511.3
700  1$aKreisel,$bGeorge$0492398
701  1$aKrivine,$bJean-Louis$013113
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001018880403321
952   $a7-052$b5475$fFI1
952   $a02 21 B 4$b1409$fFINBN
952   $aMXXXII-B-52$b967$fMAS
959   $aFI1
959   $aFINBN
959   $aMAS
996   $aEléments de logique mathématique$9355532
997   $aUNINA