Holdings: The Kleene Symposium

The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A

Saved in:

Bibliographic Details
Format:	Electronic eBook
Language:	English
Published:	Amsterdam ; New York North-Holland Pub. Co 1980 New York Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
Series:	Studies in logic and the foundations of mathematics 101
Subjects:	Kleene, Stephen Cole > 1909-1994 Rekursionstheorie Intuitionistische Logik Intuitionistische Mathematik Konferenzschrift
Online Access:	BFB01 BHS01 BSB01 BTU01 BTW01 DMM01 EUV01 FAN01 FAW01 FAW02 FCO01 FFW01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FWS01 FWS02 HTW01 HWR01 LCO01 SAB01 SAM01 SBG01 SBR01 SND01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UEI01 UER01 UPA01 Volltext
Item Description:	Includes bibliographical references
Physical Description:	1 Online-Ressource (xx, 425 p.) ill 23 cm
ISBN:	0444853456 9780444853455

Staff View

MARC


LEADER	00000nmm a2200000 cb4500
001	BV036962673
003	DE-604
005	20190308
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	110118s1980 ne \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 0444853456 \|9 0-444-85345-6
020			\|a 9780444853455 \|9 978-0-444-85345-5
035			\|a (OCoLC)316566821
035			\|a (DE-599)GBVNLM003734684
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a ne \|c XA-NL
049			\|a DE-526 \|a DE-522 \|a DE-523 \|a DE-521 \|a DE-634 \|a DE-2070s \|a DE-210 \|a DE-155 \|a DE-150 \|a DE-22 \|a DE-54 \|a DE-128 \|a DE-862 \|a DE-863 \|a DE-898 \|a DE-92 \|a DE-M347 \|a DE-859 \|a DE-573 \|a DE-1028 \|a DE-858 \|a DE-1050 \|a DE-1102 \|a DE-1047 \|a DE-1046 \|a DE-Aug4 \|a DE-706 \|a DE-20 \|a DE-355 \|a DE-739 \|a DE-91 \|a DE-19 \|a DE-29 \|a DE-824 \|a DE-703 \|a DE-473 \|a DE-384 \|a DE-12 \|a DE-860 \|a DE-70 \|a DE-B768
050		0	\|a QA9.6
082	0		\|a 511/.3
245	1	0	\|a The Kleene Symposium \|b proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A \|c edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
264		1	\|a Amsterdam ; New York \|b North-Holland Pub. Co \|c 1980
264		1	\|a New York \|b Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
300			\|a 1 Online-Ressource (xx, 425 p.) \|b ill \|c 23 cm
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Studies in logic and the foundations of mathematics \|v 101
500			\|a Includes bibliographical references
533			\|a Online-Ausgabe \|f Elsevier e-book collection on ScienceDirect \|n Sonstige Standardnummer des Gesamttitels: 041169-3
600	1	4	\|a Kleene, Stephen Cole \|d 1909-1994
650	0	7	\|a Rekursionstheorie \|0 (DE-588)4122329-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Intuitionistische Logik \|0 (DE-588)4162199-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Intuitionistische Mathematik \|0 (DE-588)4162200-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Rekursionstheorie \|0 (DE-588)4122329-9 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Intuitionistische Logik \|0 (DE-588)4162199-2 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Intuitionistische Mathematik \|0 (DE-588)4162200-5 \|D s
689	2		\|8 3\p \|5 DE-604
700	1		\|a Kleene, Stephen Cole \|d 1909-1994 \|e Sonstige \|0 (DE-588)136329632 \|4 oth
700	1		\|a Barwise, Jon \|d 1942-2000 \|e Sonstige \|0 (DE-588)124163092 \|4 oth
700	1		\|a Keisler, H. Jerome \|d 1936- \|e Sonstige \|0 (DE-588)121701972 \|4 oth
700	1		\|a Kunen, Kenneth \|d 1943-2020 \|e Sonstige \|0 (DE-588)105069029X \|4 oth
776	0	8	\|i Reproduktion von \|t The Kleene Symposium \|d 1980
856	4	0	\|u https://www.sciencedirect.com/science/book/9780444853455 \|x Verlag \|3 Volltext
912			\|a ZDB-1-ELC
999			\|a oai:aleph.bib-bvb.de:BVB01-020877541
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l BFB01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l BHS01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l BSB01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l BTU01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l BTW01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l DMM01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l EUV01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FAN01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FAW01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FAW02 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FCO01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FFW01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FHA01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FHD01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FHI01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FHM01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FHN01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FHR01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FKE01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FLA01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FWS01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l FWS02 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l HTW01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l HWR01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l LCO01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l SAB01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l SAM01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l SBG01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l SBR01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l SND01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l TUM01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UBA01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UBG01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UBM01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UBR01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UBT01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UBW01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UBY01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UEI01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UER01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext
966	e		\|u https://www.sciencedirect.com/science/book/9780444853455 \|l UPA01 \|p ZDB-1-ELC \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-FWS_katkey	390287
_version_	1824554148488544256
any_adam_object
author_GND	(DE-588)136329632 (DE-588)124163092 (DE-588)121701972 (DE-588)105069029X
building	Verbundindex
bvnumber	BV036962673
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.6
callnumber-search	QA9.6
callnumber-sort	QA 19.6
callnumber-subject	QA - Mathematics
collection	ZDB-1-ELC
ctrlnum	(OCoLC)316566821 (DE-599)GBVNLM003734684
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 13
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07460nmm a2201093 cb4500</leader><controlfield tag="001">BV036962673</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190308 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">110118s1980 ne \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444853456</subfield><subfield code="9">0-444-85345-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444853455</subfield><subfield code="9">978-0-444-85345-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316566821</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVNLM003734684</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="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-526</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-54</subfield><subfield code="a">DE-128</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1047</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-B768</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.6</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">The Kleene Symposium</subfield><subfield code="b">proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A</subfield><subfield code="c">edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam ; New York</subfield><subfield code="b">North-Holland Pub. Co</subfield><subfield code="c">1980</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Sole distributors for the U.S.A. and Canada, Elsevier North-Holland</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xx, 425 p.)</subfield><subfield code="b">ill</subfield><subfield code="c">23 cm</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="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">101</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausgabe</subfield><subfield code="f">Elsevier e-book collection on ScienceDirect</subfield><subfield code="n">Sonstige Standardnummer des Gesamttitels: 041169-3</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Kleene, Stephen Cole</subfield><subfield code="d">1909-1994</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Logik</subfield><subfield code="0">(DE-588)4162199-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Intuitionistische Logik</subfield><subfield code="0">(DE-588)4162199-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kleene, Stephen Cole</subfield><subfield code="d">1909-1994</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)136329632</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barwise, Jon</subfield><subfield code="d">1942-2000</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124163092</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Keisler, H. Jerome</subfield><subfield code="d">1936-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121701972</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kunen, Kenneth</subfield><subfield code="d">1943-2020</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)105069029X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Reproduktion von</subfield><subfield code="t">The Kleene Symposium</subfield><subfield code="d">1980</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-ELC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020877541</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="883" ind1="1" ind2=" "><subfield code="8">2\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="883" ind1="1" ind2=" "><subfield code="8">3\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://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BFB01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BHS01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">BTW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">DMM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">EUV01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FAN01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FCO01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FFW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">HWR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">LCO01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SAB01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SAM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SBG01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SBR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">SND01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.sciencedirect.com/science/book/9780444853455</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-1-ELC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV036962673
illustrated	Not Illustrated
indexdate	2025-02-20T06:47:10Z
institution	BVB
isbn	0444853456 9780444853455
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020877541
oclc_num	316566821
open_access_boolean
owner	DE-526 DE-522 DE-523 DE-521 DE-634 DE-2070s DE-210 DE-155 DE-BY-UBR DE-150 DE-22 DE-BY-UBG DE-54 DE-128 DE-862 DE-BY-FWS DE-863 DE-BY-FWS DE-898 DE-BY-UBR DE-92 DE-M347 DE-859 DE-573 DE-1028 DE-858 DE-1050 DE-1102 DE-1047 DE-1046 DE-Aug4 DE-706 DE-20 DE-355 DE-BY-UBR DE-739 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-29 DE-824 DE-703 DE-473 DE-BY-UBG DE-384 DE-12 DE-860 DE-70 DE-B768
owner_facet	DE-526 DE-522 DE-523 DE-521 DE-634 DE-2070s DE-210 DE-155 DE-BY-UBR DE-150 DE-22 DE-BY-UBG DE-54 DE-128 DE-862 DE-BY-FWS DE-863 DE-BY-FWS DE-898 DE-BY-UBR DE-92 DE-M347 DE-859 DE-573 DE-1028 DE-858 DE-1050 DE-1102 DE-1047 DE-1046 DE-Aug4 DE-706 DE-20 DE-355 DE-BY-UBR DE-739 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-29 DE-824 DE-703 DE-473 DE-BY-UBG DE-384 DE-12 DE-860 DE-70 DE-B768
physical	1 Online-Ressource (xx, 425 p.) ill 23 cm
psigel	ZDB-1-ELC
publishDate	1980
publishDateSearch	1980
publishDateSort	1980
publisher	North-Holland Pub. Co Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
record_format	marc
series2	Studies in logic and the foundations of mathematics
spellingShingle	The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A Kleene, Stephen Cole 1909-1994 Rekursionstheorie (DE-588)4122329-9 gnd Intuitionistische Logik (DE-588)4162199-2 gnd Intuitionistische Mathematik (DE-588)4162200-5 gnd
subject_GND	(DE-588)4122329-9 (DE-588)4162199-2 (DE-588)4162200-5 (DE-588)1071861417
title	The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
title_auth	The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
title_exact_search	The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
title_full	The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
title_fullStr	The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
title_full_unstemmed	The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
title_short	The Kleene Symposium
title_sort	the kleene symposium proceedings of the symposium held june 18 24 1978 at madison wisconsin u s a
title_sub	proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
topic	Kleene, Stephen Cole 1909-1994 Rekursionstheorie (DE-588)4122329-9 gnd Intuitionistische Logik (DE-588)4162199-2 gnd Intuitionistische Mathematik (DE-588)4162200-5 gnd
topic_facet	Kleene, Stephen Cole 1909-1994 Rekursionstheorie Intuitionistische Logik Intuitionistische Mathematik Konferenzschrift
url	https://www.sciencedirect.com/science/book/9780444853455
work_keys_str_mv	AT kleenestephencole thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa AT barwisejon thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa AT keislerhjerome thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa AT kunenkenneth thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa

Holdings

Get full text

MARC

Record in the Search Index

Similar Items