Verfügbarkeit: Model theory :: THWS Bibkatalog

Model theory:

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chang, Chen C. (VerfasserIn), Keisler, H. Jerome 1936- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam North-Holland 1977
Ausgabe:	3. ed.
Schriftenreihe:	Studies in logic and the foundations of math. 73.
Schlagworte:	Logique symbolique et mathématique Modeltheorie Modèles, Théorie des Model theory Logik Modelltheorie Prädikatenlogik Stufe 1
Beschreibung:	XII, 554 S.
ISBN:	0444880542

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV005765750
003	DE-604
005	00000000000000.0
007	t
008	921030s1977 \|\|\|\| 00\|\|\| eng d
020			\|a 0444880542 \|9 0-444-88054-2
035			\|a (OCoLC)3188577
035			\|a (DE-599)BVBBV005765750
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-703
050		0	\|a QA9.7
082	0		\|a 511/.8
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
100	1		\|a Chang, Chen C. \|e Verfasser \|4 aut
245	1	0	\|a Model theory \|c C. C. Chang and H. J. Keisler
250			\|a 3. ed.
264		1	\|a Amsterdam \|b North-Holland \|c 1977
300			\|a XII, 554 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Studies in logic and the foundations of math. \|v 73.
650		4	\|a Logique symbolique et mathématique
650		7	\|a Modeltheorie \|2 gtt
650		4	\|a Modèles, Théorie des
650		4	\|a Model theory
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modelltheorie \|0 (DE-588)4114617-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prädikatenlogik \|0 (DE-588)4046974-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Stufe 1 \|0 (DE-588)4362503-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Modelltheorie \|0 (DE-588)4114617-7 \|D s
689	0	1	\|a Prädikatenlogik \|0 (DE-588)4046974-8 \|D s
689	0	2	\|a Stufe 1 \|0 (DE-588)4362503-4 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Modelltheorie \|0 (DE-588)4114617-7 \|D s
689	1	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	1		\|8 2\p \|5 DE-604
700	1		\|a Keisler, H. Jerome \|d 1936- \|e Verfasser \|0 (DE-588)121701972 \|4 aut
830		0	\|a Studies in logic and the foundations of math. \|v 73. \|w (DE-604)BV000893472 \|9 73
999			\|a oai:aleph.bib-bvb.de:BVB01-003601669
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

Datensatz im Suchindex

_version_	1804119949388546048
any_adam_object
author	Chang, Chen C. Keisler, H. Jerome 1936-
author_GND	(DE-588)121701972
author_facet	Chang, Chen C. Keisler, H. Jerome 1936-
author_role	aut aut
author_sort	Chang, Chen C.
author_variant	c c c cc ccc h j k hj hjk
building	Verbundindex
bvnumber	BV005765750
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.7
callnumber-search	QA9.7
callnumber-sort	QA 19.7
callnumber-subject	QA - Mathematics
classification_rvk	SK 130
ctrlnum	(OCoLC)3188577 (DE-599)BVBBV005765750
dewey-full	511/.8
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511/.8
dewey-search	511/.8
dewey-sort	3511 18
dewey-tens	510 - Mathematics
discipline	Mathematik
edition	3. ed.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01907nam a2200541 cb4500</leader><controlfield tag="001">BV005765750</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921030s1977 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444880542</subfield><subfield code="9">0-444-88054-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)3188577</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005765750</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-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.8</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Chang, Chen C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model theory</subfield><subfield code="c">C. C. Chang and H. J. Keisler</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 554 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="1" ind2=" "><subfield code="a">Studies in logic and the foundations of math.</subfield><subfield code="v">73.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modeltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modèles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</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">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">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</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">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Keisler, H. Jerome</subfield><subfield code="d">1936-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121701972</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of math.</subfield><subfield code="v">73.</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">73</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003601669</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></record></collection>
id	DE-604.BV005765750
illustrated	Not Illustrated
indexdate	2024-07-09T16:34:19Z
institution	BVB
isbn	0444880542
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-003601669
oclc_num	3188577
open_access_boolean
owner	DE-703
owner_facet	DE-703
physical	XII, 554 S.
publishDate	1977
publishDateSearch	1977
publishDateSort	1977
publisher	North-Holland
record_format	marc
series	Studies in logic and the foundations of math.
series2	Studies in logic and the foundations of math.
spelling	Chang, Chen C. Verfasser aut Model theory C. C. Chang and H. J. Keisler 3. ed. Amsterdam North-Holland 1977 XII, 554 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of math. 73. Logique symbolique et mathématique Modeltheorie gtt Modèles, Théorie des Model theory Logik (DE-588)4036202-4 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Stufe 1 (DE-588)4362503-4 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s Prädikatenlogik (DE-588)4046974-8 s Stufe 1 (DE-588)4362503-4 s 1\p DE-604 Logik (DE-588)4036202-4 s 2\p DE-604 Keisler, H. Jerome 1936- Verfasser (DE-588)121701972 aut Studies in logic and the foundations of math. 73. (DE-604)BV000893472 73 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Chang, Chen C. Keisler, H. Jerome 1936- Model theory Studies in logic and the foundations of math. Logique symbolique et mathématique Modeltheorie gtt Modèles, Théorie des Model theory Logik (DE-588)4036202-4 gnd Modelltheorie (DE-588)4114617-7 gnd Prädikatenlogik (DE-588)4046974-8 gnd Stufe 1 (DE-588)4362503-4 gnd
subject_GND	(DE-588)4036202-4 (DE-588)4114617-7 (DE-588)4046974-8 (DE-588)4362503-4
title	Model theory
title_auth	Model theory
title_exact_search	Model theory
title_full	Model theory C. C. Chang and H. J. Keisler
title_fullStr	Model theory C. C. Chang and H. J. Keisler
title_full_unstemmed	Model theory C. C. Chang and H. J. Keisler
title_short	Model theory
title_sort	model theory
topic	Logique symbolique et mathématique Modeltheorie gtt Modèles, Théorie des Model theory Logik (DE-588)4036202-4 gnd Modelltheorie (DE-588)4114617-7 gnd Prädikatenlogik (DE-588)4046974-8 gnd Stufe 1 (DE-588)4362503-4 gnd
topic_facet	Logique symbolique et mathématique Modeltheorie Modèles, Théorie des Model theory Logik Modelltheorie Prädikatenlogik Stufe 1
volume_link	(DE-604)BV000893472
work_keys_str_mv	AT changchenc modeltheory AT keislerhjerome modeltheory

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