01105nam a2200313 i 450099100126914970753620020507190336.0930929s1977 de ||| | eng 3540079114b10824054-39ule_instLE01309643ExLDip.to Matematicaeng511.3AMS 03FSchutte, Kurt346092Proof theory /Kurt Schutte ; transl. by J. N. Crossley1st ed. 1960Berlin :Springer-Verlag,1977xii, 302 p. ;24 cm.Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics,0072-7830 ;225Transl. from germanProof theoryCrossley, John N..b1082405423-02-1728-06-02991001269149707536LE013 03F SCH11 (1977)12013000075006le013-E0.00-l- 00000.i1093171528-06-02Beweistheorie34430UNISALENTOle01301-01-93ma -engde 01