01169nam a22002775i 4500991002181609707536cr nn 008mamaa121227s1975 gw | s |||| 0|eng d9783540380207b14133933-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng51023⊨ISILC proof theory symposion[e-book] :dedicated to Kurt Schütte on the occasion of his 65th birthday proceedings of the international summer institute and logic colloquium, Kiel 1974 /edited by Justus Diller, Gert H. MüllerBerlin :Springer,19751 online resource (cd, 390 p.)Lecture Notes in Mathematics,0075-8434 ;500MathematicsDiller, JustusMüller, Gert H.Springer eBookshttp://dx.doi.org/10.1007/BFb0079542An electronic book accessible through the World Wide Web.b1413393303-03-2205-09-13991002181609707536⊨ISILC proof theory symposion262724UNISALENTOle01305-09-13m@ -enggw 00