Verfügbarkeit: ISILC Proof Theory Symposion

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 Verfasser:	Diller, Justus (HerausgeberIn), Müller, Gert H. 1923-2006 (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 1975
Schriftenreihe:	Lecture notes in mathematics 500
Schlagworte:	Mathematische Logik Logik Beweistheorie Festschrift Konferenzschrift > 1974 > Kiel Bibliografie
Online-Zugang:	BSB01 BTU01 BTW01 DMM01 EUV01 FAW01 FHA01 FHI01 FHM01 FKE01 FLA01 HTW01 LCO01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBY01 UER01 UPA01 Volltext
Beschreibung:	1 Online-Ressource
ISBN:	9783540075332
DOI:	10.1007/BFb0079542

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV041962548
003	DE-604
005	20180920
006	a \|\|\|\| 11\|\|\|
007	cr\|uuu---uuuuu
008	140709s1975 \|\|\|\| o\|\|u\| \|\|\|\|\|\|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
999			\|a oai:aleph.bib-bvb.de:BVB01-027405331
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l BSB01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l BTU01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l BTW01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l DMM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l EUV01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l FAW01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l FHA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l FHI01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l FHM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l FKE01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l FLA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l HTW01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l LCO01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l TUM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l UBA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l UBG01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l UBM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l UBR01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l UBT01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l UBY01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l UER01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0079542 \|l UPA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804152349628825600
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>04314nmm a2200805zcb4500</leader><controlfield tag="001">BV041962548</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180920 </controlfield><controlfield tag="006">a \|\|\|\| 11\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140709s1975 \|\|\|\| o\|\|u\| \|\|\|\|\|\|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="999" ind1=" " 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">BSB01</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">BTU01</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">BTW01</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">DMM01</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">EUV01</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">FAW01</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">FHA01</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">FHI01</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">FHM01</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">FKE01</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">FLA01</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">HTW01</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">LCO01</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">TUM01</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">UBA01</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">UBG01</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">UBM01</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">UBR01</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">UBT01</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">UBY01</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">UER01</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">UPA01</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-07-10T01:09:18Z
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
spelling	Proof Theory Symposion 1974 Kiel Verfasser (DE-588)2041161-3 aut 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 Berlin [u.a.] Springer 1975 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Lecture notes in mathematics 500 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 1974 Kiel gnd-content (DE-588)4006432-3 Bibliografie gnd-content Beweistheorie (DE-588)4145177-6 s DE-604 Logik (DE-588)4036202-4 s Mathematische Logik (DE-588)4037951-6 s Diller, Justus edt Müller, Gert H. 1923-2006 (DE-588)1055806601 edt Schütte, Kurt 1909-1998 (DE-588)118611127 hnr International Summer Institute and Logic Colloquium 1974 Kiel Sonstige (DE-588)2040724-5 oth Erscheint auch als Druckausgabe 978-3-540-38020-7 Lecture notes in mathematics 500 (DE-604)BV014303148 500 https://doi.org/10.1007/BFb0079542 Verlag Volltext
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

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge