| Record ID | marc_loc_2016/BooksAll.2016.part09.utf8:42471786:1271 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part09.utf8:42471786:1271?format=raw |
LEADER: 01271cam a2200313 i 4500
001 75040482
003 DLC
005 20111221082606.0
008 751120s1975 gw b 110 0 eng
010 $a 75040482
020 $a038707533X
040 $aDLC$cDLC$dDLC
041 0 $aengger
050 00 $aQA3$b.L28 no. 500$aQA9.54
082 00 $a510/.8 s$a511/.3
111 2 $aISILC Proof Theory Symposion,$cUniversity of Kiel,$d1974.
245 00 $aISILC Proof Theory Symposion :$bdedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /$cedited by J. Diller and G. H. Müller.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1975.
300 $aviii, 383 p. ;$c25 cm.
490 1 $aLecture notes in mathematics ; 500
500 $aText in English or German.
504 $aIncludes bibliographies.
650 0 $aProof theory$xCongresses.
600 10 $aSchütte, K.$q(Kurt)$xBibliography.
700 1 $aSchütte, K.$q(Kurt)
700 1 $aDiller, Justus.
700 1 $aMüller, G. H.$q(Gert Heinz),$d1923-
711 2 $aInternational Summer Institute and Logic Colloquium,$cUniversity of Kiel,$d1974.
830 0 $aLecture notes in mathematics (Springer-Verlag) ;$v500.