Holdings: Computation and Proof Theory

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Saved in:

Bibliographic Details
Other Authors:	Richter, Michael M. 1938-2020 (Editor), Börger, Egon (Editor), Oberschelp, Walter 1933- (Editor), Schinzel, Brigitta (Editor), Thomas, Wolfgang 1947- (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin [u.a.] Springer 1984
Series:	Lecture notes in mathematics 1104
Subjects:	Mathematische Logik Datenverarbeitung Beweistheorie Konferenzschrift > 1983 > Aachen
Online Access:	BSB01 BTU01 BTW01 DMM01 EUV01 FAW01 FHA01 FHI01 FHM01 FKE01 FLA01 HTW01 LCO01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBY01 UER01 UPA01 Volltext
Physical Description:	1 Online-Ressource
ISBN:	9783540139010
DOI:	10.1007/BFb0099476

Staff View

MARC


LEADER	00000nmm a2200000zcb4500
001	BV041963145
003	DE-604
005	20180928
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	140709s1984 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783540139010 \|c Online \|9 978-3-540-13901-0
024	7		\|a 10.1007/BFb0099476 \|2 doi
035			\|a (OCoLC)838049114
035			\|a (DE-599)BVBBV041963145
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
082	0		\|a 511.3
245	1	0	\|a Computation and Proof Theory \|b Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II \|c edited by M.M. Richter, E. Börger, W. Oberschelp, B. Schinzel and W. Thomas
264		1	\|a Berlin [u.a.] \|b Springer \|c 1984
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 1104
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|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)1071861417 \|a Konferenzschrift \|y 1983 \|z Aachen \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|D s
689	1	1	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	1		\|8 1\p \|5 DE-604
700	1		\|a Richter, Michael M. \|d 1938-2020 \|0 (DE-588)120378620 \|4 edt
700	1		\|a Börger, Egon \|4 edt
700	1		\|a Oberschelp, Walter \|d 1933- \|0 (DE-588)105447870 \|4 edt
700	1		\|a Schinzel, Brigitta \|4 edt
700	1		\|a Thomas, Wolfgang \|d 1947- \|0 (DE-588)137276346 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-540-39119-7
830		0	\|a Lecture notes in mathematics \|v 1104 \|w (DE-604)BV014303148 \|9 1104
856	4	0	\|u https://doi.org/10.1007/BFb0099476 \|x Verlag \|3 Volltext
912			\|a ZDB-1-SLN
999			\|a oai:aleph.bib-bvb.de:BVB01-027405928
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l BSB01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l BTU01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l BTW01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l DMM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l EUV01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l FAW01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l FHA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l FHI01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l FHM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l FKE01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l FLA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l HTW01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l LCO01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l TUM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l UBA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l UBG01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l UBM01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l UBR01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l UBT01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l UBY01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l UER01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/BFb0099476 \|l UPA01 \|p ZDB-1-SLN \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804152351011897344
any_adam_object
author2	Richter, Michael M. 1938-2020 Börger, Egon Oberschelp, Walter 1933- Schinzel, Brigitta Thomas, Wolfgang 1947-
author2_role	edt edt edt edt edt
author2_variant	m m r mm mmr e b eb w o wo b s bs w t wt
author_GND	(DE-588)120378620 (DE-588)105447870 (DE-588)137276346
author_facet	Richter, Michael M. 1938-2020 Börger, Egon Oberschelp, Walter 1933- Schinzel, Brigitta Thomas, Wolfgang 1947-
building	Verbundindex
bvnumber	BV041963145
collection	ZDB-1-SLN
ctrlnum	(OCoLC)838049114 (DE-599)BVBBV041963145
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
doi_str_mv	10.1007/BFb0099476
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04138nmm a2200781zcb4500</leader><controlfield tag="001">BV041963145</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180928 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140709s1984 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540139010</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-13901-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BFb0099476</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)838049114</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041963145</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="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computation and Proof Theory</subfield><subfield code="b">Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II</subfield><subfield code="c">edited by M.M. Richter, E. Börger, W. Oberschelp, B. Schinzel and W. Thomas</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1984</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">1104</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">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1983</subfield><subfield code="z">Aachen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-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">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Richter, Michael M.</subfield><subfield code="d">1938-2020</subfield><subfield code="0">(DE-588)120378620</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Börger, Egon</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oberschelp, Walter</subfield><subfield code="d">1933-</subfield><subfield code="0">(DE-588)105447870</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schinzel, Brigitta</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Thomas, Wolfgang</subfield><subfield code="d">1947-</subfield><subfield code="0">(DE-588)137276346</subfield><subfield code="4">edt</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-39119-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">1104</subfield><subfield code="w">(DE-604)BV014303148</subfield><subfield code="9">1104</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/BFb0099476</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-027405928</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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/BFb0099476</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)1071861417 Konferenzschrift 1983 Aachen gnd-content
genre_facet	Konferenzschrift 1983 Aachen
id	DE-604.BV041963145
illustrated	Not Illustrated
indexdate	2024-07-10T01:09:19Z
institution	BVB
isbn	9783540139010
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027405928
oclc_num	838049114
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	1984
publishDateSearch	1984
publishDateSort	1984
publisher	Springer
record_format	marc
series	Lecture notes in mathematics
series2	Lecture notes in mathematics
spelling	Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II edited by M.M. Richter, E. Börger, W. Oberschelp, B. Schinzel and W. Thomas Berlin [u.a.] Springer 1984 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Lecture notes in mathematics 1104 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1983 Aachen gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Datenverarbeitung (DE-588)4011152-0 s Beweistheorie (DE-588)4145177-6 s 1\p DE-604 Richter, Michael M. 1938-2020 (DE-588)120378620 edt Börger, Egon edt Oberschelp, Walter 1933- (DE-588)105447870 edt Schinzel, Brigitta edt Thomas, Wolfgang 1947- (DE-588)137276346 edt Erscheint auch als Druckausgabe 978-3-540-39119-7 Lecture notes in mathematics 1104 (DE-604)BV014303148 1104 https://doi.org/10.1007/BFb0099476 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II Lecture notes in mathematics Mathematische Logik (DE-588)4037951-6 gnd Datenverarbeitung (DE-588)4011152-0 gnd Beweistheorie (DE-588)4145177-6 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4011152-0 (DE-588)4145177-6 (DE-588)1071861417
title	Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
title_auth	Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
title_exact_search	Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
title_full	Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II edited by M.M. Richter, E. Börger, W. Oberschelp, B. Schinzel and W. Thomas
title_fullStr	Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II edited by M.M. Richter, E. Börger, W. Oberschelp, B. Schinzel and W. Thomas
title_full_unstemmed	Computation and Proof Theory Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II edited by M.M. Richter, E. Börger, W. Oberschelp, B. Schinzel and W. Thomas
title_short	Computation and Proof Theory
title_sort	computation and proof theory proceedings of the logic colloquium held in aachen july 18 23 1983 part ii
title_sub	Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
topic	Mathematische Logik (DE-588)4037951-6 gnd Datenverarbeitung (DE-588)4011152-0 gnd Beweistheorie (DE-588)4145177-6 gnd
topic_facet	Mathematische Logik Datenverarbeitung Beweistheorie Konferenzschrift 1983 Aachen
url	https://doi.org/10.1007/BFb0099476
volume_link	(DE-604)BV014303148
work_keys_str_mv	AT richtermichaelm computationandprooftheoryproceedingsofthelogiccolloquiumheldinaachenjuly18231983partii AT borgeregon computationandprooftheoryproceedingsofthelogiccolloquiumheldinaachenjuly18231983partii AT oberschelpwalter computationandprooftheoryproceedingsofthelogiccolloquiumheldinaachenjuly18231983partii AT schinzelbrigitta computationandprooftheoryproceedingsofthelogiccolloquiumheldinaachenjuly18231983partii AT thomaswolfgang computationandprooftheoryproceedingsofthelogiccolloquiumheldinaachenjuly18231983partii

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items