Verfügbarkeit: ISILC Proof Theory Symposion | Technische Universität München

ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Proof Theory Symposion Kiel (VerfasserIn)
Weitere beteiligte Personen:	Diller, Justus (HerausgeberIn), Müller, Gert H. 1923-2006 (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	Berlin [u.a.] Springer 1975
Schriftenreihe:	Lecture notes in mathematics 500
Schlagwörter:	Mathematische Logik Logik Beweistheorie Festschrift Konferenzschrift > 1974 > Kiel Bibliografie
Links:	https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542 https://doi.org/10.1007/BFb0079542
Umfang:	1 Online-Ressource
ISBN:	9783540075332
DOI:	10.1007/BFb0079542

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV041962548
003	DE-604
005	20180920
007	cr\|uuu---uuuuu
008	140709s1975 xx o\|\|\|\| 11\|\|\| eng d
020			\|a 9783540075332 \|c Online \|9 978-3-540-07533-2
024	7		\|a 10.1007/BFb0079542 \|2 doi
035			\|a (OCoLC)849793176
035			\|a (DE-599)BVBBV041962548
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-12 \|a DE-473 \|a DE-703 \|a DE-29 \|a DE-19 \|a DE-91 \|a DE-739 \|a DE-355 \|a DE-Aug4 \|a DE-860 \|a DE-M347 \|a DE-70 \|a DE-210 \|a DE-634 \|a DE-859 \|a DE-706 \|a DE-1046 \|a DE-526 \|a DE-521 \|a DE-384 \|a DE-573 \|a DE-523
111	2		\|a Proof Theory Symposion \|d 1974 \|c Kiel \|j Verfasser \|0 (DE-588)2041161-3 \|4 aut
245	1	0	\|a ISILC Proof Theory Symposion \|b Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 \|c edited by J. Diller and G.H. Müller
264		1	\|a Berlin [u.a.] \|b Springer \|c 1975
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in mathematics \|v 500
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4016928-5 \|a Festschrift \|2 gnd-content
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1974 \|z Kiel \|2 gnd-content
655		7	\|0 (DE-588)4006432-3 \|a Bibliografie \|2 gnd-content
689	0	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	1		\|5 DE-604
689	2	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	2	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2		\|5 DE-604
700	1		\|a Diller, Justus \|4 edt
700	1		\|a Müller, Gert H. \|d 1923-2006 \|0 (DE-588)1055806601 \|4 edt
700	1		\|a Schütte, Kurt \|d 1909-1998 \|0 (DE-588)118611127 \|4 hnr
711	2		\|a International Summer Institute and Logic Colloquium \|d 1974 \|c Kiel \|j Sonstige \|0 (DE-588)2040724-5 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-540-38020-7
830		0	\|a Lecture notes in mathematics \|v 500 \|w (DE-604)BV014303148 \|9 500
856	4	0	\|u https://doi.org/10.1007/BFb0079542 \|x Verlag \|3 Volltext
912			\|a ZDB-1-SLN
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027405331
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-12 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-634 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-526 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-210 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-521 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-1046 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-Aug4 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-573 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-M347 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-859 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-860 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-523 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-70 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-91 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-384 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-473 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-19 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-355 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-703 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-706 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-29 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DE-739 \|p ZDB-1-SLN \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	2008800
_version_	1821930805708980224
any_adam_object
author2	Diller, Justus Müller, Gert H. 1923-2006
author2_role	edt edt
author2_variant	j d jd g h m gh ghm
author_GND	(DE-588)1055806601 (DE-588)118611127
author_corporate	Proof Theory Symposion Kiel
author_corporate_role	aut
author_facet	Diller, Justus Müller, Gert H. 1923-2006 Proof Theory Symposion Kiel
author_sort	Proof Theory Symposion Kiel
building	Verbundindex
bvnumber	BV041962548
collection	ZDB-1-SLN
ctrlnum	(OCoLC)849793176 (DE-599)BVBBV041962548
doi_str_mv	10.1007/BFb0079542
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04303nam a2200793zcb4500</leader><controlfield tag="001">BV041962548</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180920 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140709s1975 xx o\|\|\|\| 11\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540075332</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-07533-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BFb0079542</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)849793176</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041962548</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Proof Theory Symposion</subfield><subfield code="d">1974</subfield><subfield code="c">Kiel</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2041161-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ISILC Proof Theory Symposion</subfield><subfield code="b">Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974</subfield><subfield code="c">edited by J. Diller and G.H. Müller</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1975</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">500</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1974</subfield><subfield code="z">Kiel</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4006432-3</subfield><subfield code="a">Bibliografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diller, Justus</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Müller, Gert H.</subfield><subfield code="d">1923-2006</subfield><subfield code="0">(DE-588)1055806601</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schütte, Kurt</subfield><subfield code="d">1909-1998</subfield><subfield code="0">(DE-588)118611127</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Summer Institute and Logic Colloquium</subfield><subfield code="d">1974</subfield><subfield code="c">Kiel</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2040724-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-540-38020-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">500</subfield><subfield code="w">(DE-604)BV014303148</subfield><subfield code="9">500</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SLN</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027405331</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-12</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-526</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-210</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-521</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-70</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0079542</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-1-SLN</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 1974 Kiel gnd-content (DE-588)4006432-3 Bibliografie gnd-content
genre_facet	Festschrift Konferenzschrift 1974 Kiel Bibliografie
id	DE-604.BV041962548
illustrated	Not Illustrated
indexdate	2024-12-20T16:58:50Z
institution	BVB
institution_GND	(DE-588)2041161-3 (DE-588)2040724-5
isbn	9783540075332
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027405331
oclc_num	849793176
open_access_boolean
owner	DE-12 DE-473 DE-BY-UBG DE-703 DE-29 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-Aug4 DE-860 DE-M347 DE-70 DE-210 DE-634 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-384 DE-573 DE-523
owner_facet	DE-12 DE-473 DE-BY-UBG DE-703 DE-29 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-Aug4 DE-860 DE-M347 DE-70 DE-210 DE-634 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-384 DE-573 DE-523
physical	1 Online-Ressource
psigel	ZDB-1-SLN
publishDate	1975
publishDateSearch	1975
publishDateSort	1975
publisher	Springer
record_format	marc
series	Lecture notes in mathematics
series2	Lecture notes in mathematics
spellingShingle	ISILC Proof Theory Symposion Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 Lecture notes in mathematics Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Beweistheorie (DE-588)4145177-6 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4145177-6 (DE-588)4016928-5 (DE-588)1071861417 (DE-588)4006432-3
title	ISILC Proof Theory Symposion Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
title_auth	ISILC Proof Theory Symposion Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
title_exact_search	ISILC Proof Theory Symposion Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
title_full	ISILC Proof Theory Symposion 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 J. Diller and G.H. Müller
title_fullStr	ISILC Proof Theory Symposion 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 J. Diller and G.H. Müller
title_full_unstemmed	ISILC Proof Theory Symposion 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 J. Diller and G.H. Müller
title_short	ISILC Proof Theory Symposion
title_sort	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
title_sub	Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
topic	Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Beweistheorie (DE-588)4145177-6 gnd
topic_facet	Mathematische Logik Logik Beweistheorie Festschrift Konferenzschrift 1974 Kiel Bibliografie
url	https://doi.org/10.1007/BFb0079542
volume_link	(DE-604)BV014303148
work_keys_str_mv	AT prooftheorysymposionkiel isilcprooftheorysymposiondedicatedtokurtschutteontheoccasionofhis65thbirthdayproceedingsoftheinternationalsummerinstituteandlogiccolloquiumkiel1974 AT dillerjustus isilcprooftheorysymposiondedicatedtokurtschutteontheoccasionofhis65thbirthdayproceedingsoftheinternationalsummerinstituteandlogiccolloquiumkiel1974 AT mullergerth isilcprooftheorysymposiondedicatedtokurtschutteontheoccasionofhis65thbirthdayproceedingsoftheinternationalsummerinstituteandlogiccolloquiumkiel1974 AT schuttekurt isilcprooftheorysymposiondedicatedtokurtschutteontheoccasionofhis65thbirthdayproceedingsoftheinternationalsummerinstituteandlogiccolloquiumkiel1974 AT internationalsummerinstituteandlogiccolloquiumkiel isilcprooftheorysymposiondedicatedtokurtschutteontheoccasionofhis65thbirthdayproceedingsoftheinternationalsummerinstituteandlogiccolloquiumkiel1974

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen