| Record ID | marc_columbia/Columbia-extract-20221130-005.mrc:212032838:1685 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-005.mrc:212032838:1685?format=raw |
LEADER: 01685mam a2200373 i 4500
001 2156348
005 20220615215743.0
008 751120s1975 gw b 110 0 eng
010 $a 75040482
020 $a038707533X
035 $a(OCoLC)ocm01959564
035 $9ANM0928CU
035 $a2156348
040 $aDLC$cDLC
041 0 $aengger
050 00 $aQA3$b.L28 no. 500$aQA9.54
082 00 $a510/.8 s$a511/.3
111 2 $aISILC Proof Theory Symposium$d(1974 :$cUniversity of Kiel)
245 10 $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 pages ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in mathematics ;$v500
500 $aText in English or German.
504 $aIncludes bibliographies.
650 0 $aProof theory$vCongresses.
600 10 $aSchütte, K.$q(Kurt)$vBibliography.
700 1 $aSchütte, K.$q(Kurt)$0http://id.loc.gov/authorities/names/n84801013
700 1 $aDiller, Justus.$0http://id.loc.gov/authorities/names/no2008015292
700 1 $aMüller, G. H.$q(Gert Heinz),$d1923-$0http://id.loc.gov/authorities/names/n50004657
711 2 $aInternational Summer Institute and Logic Colloquium$d(1974 :$cKiel, Germany)$0http://id.loc.gov/authorities/names/nr90008634
830 0 $aLecture notes in mathematics (Springer-Verlag) ;$v500.$0http://id.loc.gov/authorities/names/n42015165
852 00 $bmat$hQA3$i.L49 v.500