Verfügbarkeit: Sets, models and recursion theory

Sets, models and recursion theory: proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Crossley, John N. (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Amsterdam North-Holland Publ. Co. 1967
Schriftenreihe:	Studies in logic and the foundations of mathematics
Schlagworte:	Logic, Symbolic and mathematical Set theory Modelltheorie Mathematische Logik Rekursionstheorie Menge Konferenzschrift
Beschreibung:	331 S.

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV001932463
003	DE-604
005	20120316
007	t
008	890928s1967 \|\|\|\| 10\|\|\| eng d
035			\|a (OCoLC)86044063
035			\|a (DE-599)BVBBV001932463
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91 \|a DE-91G \|a DE-355 \|a DE-29 \|a DE-19 \|a DE-29T \|a DE-83 \|a DE-188 \|a DE-11
050		0	\|a QA9
082	0		\|a 510
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SD 1965 \|0 (DE-625)142699: \|2 rvk
245	1	0	\|a Sets, models and recursion theory \|b proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965 \|c ed. by John N. Crossley
264		1	\|a Amsterdam \|b North-Holland Publ. Co. \|c 1967
300			\|a 331 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Studies in logic and the foundations of mathematics
650		4	\|a Logic, Symbolic and mathematical
650		4	\|a Set theory
650	0	7	\|a Modelltheorie \|0 (DE-588)4114617-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Rekursionstheorie \|0 (DE-588)4122329-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Menge \|0 (DE-588)4038613-2 \|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	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1	1	\|a Modelltheorie \|0 (DE-588)4114617-7 \|D s
689	1		\|5 DE-604
689	2	0	\|a Menge \|0 (DE-588)4038613-2 \|D s
689	2	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2		\|5 DE-604
700	1		\|a Crossley, John N. \|4 edt
711	2		\|a Summer School in Mathematical Logic \|d 1965 \|c Leicester \|j Sonstige \|0 (DE-588)816401-0 \|4 oth
940	1		\|q HUB-ZB011201108
999			\|a oai:aleph.bib-bvb.de:BVB01-001259624

Datensatz im Suchindex

_version_	1804116372276379648
any_adam_object
author2	Crossley, John N.
author2_role	edt
author2_variant	j n c jn jnc
author_facet	Crossley, John N.
building	Verbundindex
bvnumber	BV001932463
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9
callnumber-search	QA9
callnumber-sort	QA 19
callnumber-subject	QA - Mathematics
classification_rvk	CC 2600 SD 1965
ctrlnum	(OCoLC)86044063 (DE-599)BVBBV001932463
dewey-full	510
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	510 - Mathematics
dewey-raw	510
dewey-search	510
dewey-sort	3510
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01959nam a2200517 c 4500</leader><controlfield tag="001">BV001932463</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120316 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1967 \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)86044063</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001932463</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1965</subfield><subfield code="0">(DE-625)142699:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sets, models and recursion theory</subfield><subfield code="b">proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965</subfield><subfield code="c">ed. by John N. Crossley</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Publ. Co.</subfield><subfield code="c">1967</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">331 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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">Menge</subfield><subfield code="0">(DE-588)4038613-2</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="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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</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">Menge</subfield><subfield code="0">(DE-588)4038613-2</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">Crossley, John N.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Summer School in Mathematical Logic</subfield><subfield code="d">1965</subfield><subfield code="c">Leicester</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)816401-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">HUB-ZB011201108</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001259624</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV001932463
illustrated	Not Illustrated
indexdate	2024-07-09T15:37:28Z
institution	BVB
institution_GND	(DE-588)816401-0
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-001259624
oclc_num	86044063
open_access_boolean
owner	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-29 DE-19 DE-BY-UBM DE-29T DE-83 DE-188 DE-11
owner_facet	DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-29 DE-19 DE-BY-UBM DE-29T DE-83 DE-188 DE-11
physical	331 S.
psigel	HUB-ZB011201108
publishDate	1967
publishDateSearch	1967
publishDateSort	1967
publisher	North-Holland Publ. Co.
record_format	marc
series2	Studies in logic and the foundations of mathematics
spelling	Sets, models and recursion theory proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965 ed. by John N. Crossley Amsterdam North-Holland Publ. Co. 1967 331 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics Logic, Symbolic and mathematical Set theory Modelltheorie (DE-588)4114617-7 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf Menge (DE-588)4038613-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Rekursionstheorie (DE-588)4122329-9 s Mathematische Logik (DE-588)4037951-6 s DE-604 Modelltheorie (DE-588)4114617-7 s Menge (DE-588)4038613-2 s Crossley, John N. edt Summer School in Mathematical Logic 1965 Leicester Sonstige (DE-588)816401-0 oth
spellingShingle	Sets, models and recursion theory proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965 Logic, Symbolic and mathematical Set theory Modelltheorie (DE-588)4114617-7 gnd Mathematische Logik (DE-588)4037951-6 gnd Rekursionstheorie (DE-588)4122329-9 gnd Menge (DE-588)4038613-2 gnd
subject_GND	(DE-588)4114617-7 (DE-588)4037951-6 (DE-588)4122329-9 (DE-588)4038613-2 (DE-588)1071861417
title	Sets, models and recursion theory proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965
title_auth	Sets, models and recursion theory proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965
title_exact_search	Sets, models and recursion theory proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965
title_full	Sets, models and recursion theory proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965 ed. by John N. Crossley
title_fullStr	Sets, models and recursion theory proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965 ed. by John N. Crossley
title_full_unstemmed	Sets, models and recursion theory proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965 ed. by John N. Crossley
title_short	Sets, models and recursion theory
title_sort	sets models and recursion theory proceedings of the summer school in mathematical logic and tenth logic colloquium leicester august september 1965
title_sub	proceedings of the Summer School in mathematical logic and tenth logic colloquium, Leicester, August - September 1965
topic	Logic, Symbolic and mathematical Set theory Modelltheorie (DE-588)4114617-7 gnd Mathematische Logik (DE-588)4037951-6 gnd Rekursionstheorie (DE-588)4122329-9 gnd Menge (DE-588)4038613-2 gnd
topic_facet	Logic, Symbolic and mathematical Set theory Modelltheorie Mathematische Logik Rekursionstheorie Menge Konferenzschrift
work_keys_str_mv	AT crossleyjohnn setsmodelsandrecursiontheoryproceedingsofthesummerschoolinmathematicallogicandtenthlogiccolloquiumleicesteraugustseptember1965 AT summerschoolinmathematicallogicleicester setsmodelsandrecursiontheoryproceedingsofthesummerschoolinmathematicallogicandtenthlogiccolloquiumleicesteraugustseptember1965

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge