01507nam a2200385 i 450099100104492970753620020507182211.0970630s1975 de ||| | eng 354007533Xb10793331-39ule_instLE01306182ExLDip.to Matematicaengengger511.3AMS 03-06AMS 03F⊨ISILC proof theory symposion :dedicated to Kurt Schutte on the occasion of his 65th birthday :proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /edited by J. Diller and G. H. MullerBerlin ; New York :Springer-Verlag,1975viii, 383 p. ;25 cmLecture notes in mathematics,0075-8434 ;500Text in English or GermanIncludes bibliographiesMathematical logicCongressesProof theoryCongressesSchutte, Kurt-bibliographySchutte, KurtDiller, JustusMuller, Gert H.International Summer Institute and Logic Colloquium <1974 ; Kiel>.b1079333123-02-1728-06-02991001044929707536LE013 03-XX DIL11 (1975)12013000087054le013-E0.00-l- 00000.i1089424x28-06-02⊨ISILC proof theory symposion262724UNISALENTOle01301-01-97ma -engde 01