Mathematical logic: an introduction to model theory
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
New York [u.a.]
Plenum Press
1978
|
Schriftenreihe: | Mathematical concepts and methods in science and engineering
9 |
Schlagworte: | |
Beschreibung: | XIII, 338 S. |
ISBN: | 0306308940 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV002296849 | ||
003 | DE-604 | ||
005 | 20221206 | ||
007 | t | ||
008 | 890928s1978 |||| 00||| eng d | ||
020 | |a 0306308940 |9 0-306-30894-0 | ||
035 | |a (OCoLC)3447419 | ||
035 | |a (DE-599)BVBBV002296849 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-91G |a DE-384 |a DE-703 |a DE-739 |a DE-29 |a DE-29T |a DE-19 |a DE-706 |a DE-83 |a DE-188 | ||
050 | 0 | |a BC135 | |
050 | 0 | |a QA9 | |
082 | 0 | |a 511/.3 | |
084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a 03Cxx |2 msc | ||
100 | 1 | |a Lightstone, Albert H. |e Verfasser |0 (DE-588)1067602224 |4 aut | |
245 | 1 | 0 | |a Mathematical logic |b an introduction to model theory |c A. H. Lightstone |
264 | 1 | |a New York [u.a.] |b Plenum Press |c 1978 | |
300 | |a XIII, 338 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Mathematical concepts and methods in science and engineering |v 9 | |
650 | 4 | |a Logique symbolique et mathématique | |
650 | 4 | |a Modèles, Théorie des | |
650 | 4 | |a Logic, Symbolic and mathematical | |
650 | 4 | |a Model theory | |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 2 | 1 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
689 | 2 | |5 DE-604 | |
830 | 0 | |a Mathematical concepts and methods in science and engineering |v 9 |w (DE-604)BV000001144 |9 9 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-001509554 |
Datensatz im Suchindex
_version_ | 1804116757293563904 |
---|---|
any_adam_object | |
author | Lightstone, Albert H. |
author_GND | (DE-588)1067602224 |
author_facet | Lightstone, Albert H. |
author_role | aut |
author_sort | Lightstone, Albert H. |
author_variant | a h l ah ahl |
building | Verbundindex |
bvnumber | BV002296849 |
callnumber-first | B - Philosophy, Psychology, Religion |
callnumber-label | BC135 |
callnumber-raw | BC135 QA9 |
callnumber-search | BC135 QA9 |
callnumber-sort | BC 3135 |
callnumber-subject | BC - Logic |
classification_rvk | CC 2400 SK 130 |
ctrlnum | (OCoLC)3447419 (DE-599)BVBBV002296849 |
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 Philosophie |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01768nam a2200505 cb4500</leader><controlfield tag="001">BV002296849</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221206 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1978 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0306308940</subfield><subfield code="9">0-306-30894-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)3447419</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002296849</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</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="084" ind1=" " ind2=" "><subfield code="a">03Cxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lightstone, Albert H.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1067602224</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical logic</subfield><subfield code="b">an introduction to model theory</subfield><subfield code="c">A. H. Lightstone</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Plenum Press</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 338 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">Mathematical concepts and methods in science and engineering</subfield><subfield code="v">9</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</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">Logic, Symbolic and mathematical</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">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">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</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=" "><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematical concepts and methods in science and engineering</subfield><subfield code="v">9</subfield><subfield code="w">(DE-604)BV000001144</subfield><subfield code="9">9</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001509554</subfield></datafield></record></collection> |
id | DE-604.BV002296849 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T15:43:35Z |
institution | BVB |
isbn | 0306308940 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001509554 |
oclc_num | 3447419 |
open_access_boolean | |
owner | DE-91G DE-BY-TUM DE-384 DE-703 DE-739 DE-29 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
owner_facet | DE-91G DE-BY-TUM DE-384 DE-703 DE-739 DE-29 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
physical | XIII, 338 S. |
publishDate | 1978 |
publishDateSearch | 1978 |
publishDateSort | 1978 |
publisher | Plenum Press |
record_format | marc |
series | Mathematical concepts and methods in science and engineering |
series2 | Mathematical concepts and methods in science and engineering |
spelling | Lightstone, Albert H. Verfasser (DE-588)1067602224 aut Mathematical logic an introduction to model theory A. H. Lightstone New York [u.a.] Plenum Press 1978 XIII, 338 S. txt rdacontent n rdamedia nc rdacarrier Mathematical concepts and methods in science and engineering 9 Logique symbolique et mathématique Modèles, Théorie des Logic, Symbolic and mathematical Model theory Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s DE-604 Mathematische Logik (DE-588)4037951-6 s Mathematical concepts and methods in science and engineering 9 (DE-604)BV000001144 9 |
spellingShingle | Lightstone, Albert H. Mathematical logic an introduction to model theory Mathematical concepts and methods in science and engineering Logique symbolique et mathématique Modèles, Théorie des Logic, Symbolic and mathematical Model theory Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd |
subject_GND | (DE-588)4037951-6 (DE-588)4114617-7 |
title | Mathematical logic an introduction to model theory |
title_auth | Mathematical logic an introduction to model theory |
title_exact_search | Mathematical logic an introduction to model theory |
title_full | Mathematical logic an introduction to model theory A. H. Lightstone |
title_fullStr | Mathematical logic an introduction to model theory A. H. Lightstone |
title_full_unstemmed | Mathematical logic an introduction to model theory A. H. Lightstone |
title_short | Mathematical logic |
title_sort | mathematical logic an introduction to model theory |
title_sub | an introduction to model theory |
topic | Logique symbolique et mathématique Modèles, Théorie des Logic, Symbolic and mathematical Model theory Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd |
topic_facet | Logique symbolique et mathématique Modèles, Théorie des Logic, Symbolic and mathematical Model theory Mathematische Logik Modelltheorie |
volume_link | (DE-604)BV000001144 |
work_keys_str_mv | AT lightstonealberth mathematicallogicanintroductiontomodeltheory |