01811nam 2200565 450 99646686180331620220910234125.03-540-37442-610.1007/BFb0062936(CKB)1000000000438357(SSID)ssj0000327111(PQKBManifestationID)12083594(PQKBTitleCode)TC0000327111(PQKBWorkID)10297770(PQKB)10896634(DE-He213)978-3-540-37442-8(MiAaPQ)EBC5590688(Au-PeEL)EBL5590688(OCoLC)1066194376(MiAaPQ)EBC6842415(Au-PeEL)EBL6842415(PPN)155197770(EXLCZ)99100000000043835720220910d1975 uy 0engurnn|008mamaatxtccrTableau systems for first order number theory and certain higher order theories /S. A. Toledo1st ed. 1975.Berlin, Germany :Springer,[1975]©19751 online resource (IV, 348 p.) Lecture Notes in Mathematics,0075-8434 ;447Bibliographic Level Mode of Issuance: Monograph3-540-07149-0 First order number theory -- Second order logic -- Other higher order systems due to Schütte.Lecture Notes in Mathematics,0075-8434 ;447Number theoryNumber theory.511.36Toledo Sue Ann1940-50941MiAaPQMiAaPQMiAaPQBOOK996466861803316Tableau systems for first order number theory and certain higher order theories339904UNISA