01157nam a2200313 i 450099100141090970753620020507192954.0970630s1975 de ||| | eng 3540071490b10843826-39ule_instLE01311867ExLDip.to Matematicaeng511.3AMS 03FToledo, Sue Ann537111Tableau systems for first order number theory and certain higher order theories /Sue ToledoBerlin ; New York :Springer-Verlag,1975339 p. ;25 cmLecture notes in mathematics,0075-8434 ;447Bibliography: p. [335]-339Number theoryPredicate calculusProof theory.b1084382623-02-1728-06-02991001410909707536LE013 03F TOL11 (1975)12013000086941le013-E0.00-l- 00000.i1095403x28-06-02Tableau systems for first order number theory and certain higher order theories919148UNISALENTOle01301-01-97ma -engde 01