Record ID | ia:isilcprooftheory0000isil |
Source | Internet Archive |
Download MARC XML | https://archive.org/download/isilcprooftheory0000isil/isilcprooftheory0000isil_marc.xml |
Download MARC binary | https://www.archive.org/download/isilcprooftheory0000isil/isilcprooftheory0000isil_meta.mrc |
LEADER: 03370cam 2200853 i 4500
001 ocm01959564
003 OCoLC
005 20201005020447.0
008 751120s1975 gw b 110 0 eng
010 $a 75040482
040 $aDLC$beng$cDLC$dMUQ$dBTCTA$dGBVCP$dUKMGB$dDEBBG$dU5D$dYDXCP$dBDX$dOCLCQ$dOCLCO$dOCLCF$dOCLCQ$dOCL$dOCLCQ$dQE2$dDHA$dOCLCQ$dOCLCO$dOCLCQ$dCPO$dOCLCA$dHUELT$dOCLCA$dOCLCQ
015 $a76,A16,0745$2dnb
016 7 $a760113017$2DE-101
016 7 $a006763050$2Uk
020 $a038707533X
020 $a9780387075334
020 $a354007533X
020 $a9783540075332
035 $a(OCoLC)1959564
041 0 $aeng$ager
050 00 $aQA3$b.L28 no. 500$aQA9.54
082 00 $a510/.8 s$a511/.3
084 $aCC 2600$2rvk
084 $aSI 850$2rvk
084 $a19a$2sdnb
084 $aP 60$2blsrissc
084 $aAE 35(S)$2blsrissc
084 $2msc$a03Fxx
111 2 $aISILC Proof Theory Symposion,$cUniversity of Kiel,$d1974.
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
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in mathematics ;$v500
500 $aText in English or German.
504 $aIncludes bibliographical references.
505 0 $aIncludes list of the publications of K. Schütte.
600 10 $aSchütte, K.$q(Kurt)$vBibliography.
600 16 $aSchütte, Kurt,$d1909-$xBibliographie.
600 17 $aSchütte, K.$q(Kurt)$2fast$0(OCoLC)fst00126868
600 17 $aSchütte, Kurt$d1909-$2gnd
600 17 $aSchütte, Kurt.$2swd
600 17 $aSchütte, Kurt$d1909$2ag
650 0 $aProof theory$vCongresses.
650 6 $aPreuve, Théorie de la$xCongrès.
650 7 $aProof theory.$2fast$0(OCoLC)fst01078942
650 7 $aBeweistheorie$2gnd
650 7 $aBibliografie$2gnd
650 7 $aLogik$2gnd
650 7 $aMathematische Logik$2gnd
650 7 $aKongress$2gnd
655 4 $aKongreß$zKiel$y1974.
655 7 $aBibliography.$2fast$0(OCoLC)fst01423717
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
655 7 $aKiel (1974)$2swd
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.
776 08 $iOnline version:$aISILC Proof Theory Symposion (1974 : University of Kiel).$tISILC Proof Theory Symposion.$dBerlin ; New York : Springer-Verlag, 1975$w(OCoLC)654533125
830 0 $aLecture notes in mathematics (Springer-Verlag) ;$v500.
856 41 $uhttp://www.springerlink.com/content/k3w06q1w6jp2/
938 $aBrodart$bBROD$n27373673$c$13.20
938 $aBaker and Taylor$bBTCP$n75040482
938 $aYBP Library Services$bYANK$n3659425
029 1 $aAU@$b000000745988
029 1 $aDEBBG$bBV001963224
029 1 $aGBVCP$b039565912
029 1 $aNZ1$b2626102
029 1 $aUKMGB$b006763050
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 295 OTHER HOLDINGS