LEADER 01811nam  2200565   450 
001 996466861803316
005 20220910234125.0
010   $a3-540-37442-6
024 7 $a10.1007/BFb0062936
035   $a(CKB)1000000000438357
035   $a(SSID)ssj0000327111
035   $a(PQKBManifestationID)12083594
035   $a(PQKBTitleCode)TC0000327111
035   $a(PQKBWorkID)10297770
035   $a(PQKB)10896634
035   $a(DE-He213)978-3-540-37442-8
035   $a(MiAaPQ)EBC5590688
035   $a(Au-PeEL)EBL5590688
035   $a(OCoLC)1066194376
035   $a(MiAaPQ)EBC6842415
035   $a(Au-PeEL)EBL6842415
035   $a(PPN)155197770
035   $a(EXLCZ)991000000000438357
100   $a20220910d1975      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTableau systems for first order number theory and certain higher order theories /$fS. A. Toledo
205   $a1st ed. 1975.
210  1$aBerlin, Germany :$cSpringer,$d[1975]
210  4$dİ1975
215   $a1 online resource (IV, 348 p.) 
225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v447
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-07149-0 
327   $aFirst order number theory -- Second order logic -- Other higher order systems due to Schütte.
410  0$aLecture Notes in Mathematics,$x0075-8434 ;$v447
606   $aNumber theory
615  0$aNumber theory.
676   $a511.36
700   $aToledo$b Sue Ann$f1940-$050941
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466861803316
996   $aTableau systems for first order number theory and certain higher order theories$9339904
997   $aUNISA