A course in mathematical logic:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam u.a.
North-Holland
1986
|
| Schlagworte: | |
| Beschreibung: | XVIII, 599 S. graph. Darst. |
| ISBN: | 0720428440 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006406035 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 930210s1986 d||| |||| 00||| eng d | ||
| 020 | |a 0720428440 |9 0-7204-2844-0 | ||
| 035 | |a (OCoLC)41379666 | ||
| 035 | |a (DE-599)BVBBV006406035 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Bell, John L. |d 1945- |e Verfasser |0 (DE-588)128411570 |4 aut | |
| 245 | 1 | 0 | |a A course in mathematical logic |c by J. L. Bell and M. Machover |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1986 | |
| 300 | |a XVIII, 599 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a logique 1er ordre |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a récursivité |2 inriac | |
| 650 | 7 | |a théorie axiomatique ensemble |2 inriac | |
| 650 | 7 | |a théorie modèle |2 inriac | |
| 650 | 7 | |a théorie récursion |2 inriac | |
| 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 |
| 650 | 0 | 7 | |a Ultraprodukt |0 (DE-588)4127046-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Ultraprodukt |0 (DE-588)4127046-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Machover, Moshé |e Verfasser |4 aut | |
Datensatz im Suchindex
| _version_ | 1805069694805213184 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Bell, John L. 1945- Machover, Moshé |
| author_GND | (DE-588)128411570 |
| author_facet | Bell, John L. 1945- Machover, Moshé |
| author_role | aut aut |
| author_sort | Bell, John L. 1945- |
| author_variant | j l b jl jlb m m mm |
| building | Verbundindex |
| bvnumber | BV006406035 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)41379666 (DE-599)BVBBV006406035 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV006406035</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1986 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720428440</subfield><subfield code="9">0-7204-2844-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)41379666</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006406035</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-739</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">Bell, John L.</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128411570</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A course in mathematical logic</subfield><subfield code="c">by J. L. Bell and M. Machover</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 599 S.</subfield><subfield code="b">graph. Darst.</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="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 1er ordre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">récursivité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie axiomatique ensemble</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie modèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie récursion</subfield><subfield code="2">inriac</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="650" ind1="0" ind2="7"><subfield code="a">Ultraprodukt</subfield><subfield code="0">(DE-588)4127046-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Ultraprodukt</subfield><subfield code="0">(DE-588)4127046-0</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">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="700" ind1="1" ind2=" "><subfield code="a">Machover, Moshé</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield></record></collection> |
| id | DE-604.BV006406035 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T04:10:06Z |
| institution | BVB |
| isbn | 0720428440 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004056597 |
| oclc_num | 41379666 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XVIII, 599 S. graph. Darst. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | North-Holland |
| record_format | marc |
| spelling | Bell, John L. 1945- Verfasser (DE-588)128411570 aut A course in mathematical logic by J. L. Bell and M. Machover Amsterdam u.a. North-Holland 1986 XVIII, 599 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logique symbolique et mathématique ram logique 1er ordre inriac logique mathématique inriac récursivité inriac théorie axiomatique ensemble inriac théorie modèle inriac théorie récursion inriac Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Ultraprodukt (DE-588)4127046-0 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Ultraprodukt (DE-588)4127046-0 s Modelltheorie (DE-588)4114617-7 s Machover, Moshé Verfasser aut |
| spellingShingle | Bell, John L. 1945- Machover, Moshé A course in mathematical logic Logique symbolique et mathématique ram logique 1er ordre inriac logique mathématique inriac récursivité inriac théorie axiomatique ensemble inriac théorie modèle inriac théorie récursion inriac Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Ultraprodukt (DE-588)4127046-0 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4114617-7 (DE-588)4127046-0 |
| title | A course in mathematical logic |
| title_auth | A course in mathematical logic |
| title_exact_search | A course in mathematical logic |
| title_full | A course in mathematical logic by J. L. Bell and M. Machover |
| title_fullStr | A course in mathematical logic by J. L. Bell and M. Machover |
| title_full_unstemmed | A course in mathematical logic by J. L. Bell and M. Machover |
| title_short | A course in mathematical logic |
| title_sort | a course in mathematical logic |
| topic | Logique symbolique et mathématique ram logique 1er ordre inriac logique mathématique inriac récursivité inriac théorie axiomatique ensemble inriac théorie modèle inriac théorie récursion inriac Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Ultraprodukt (DE-588)4127046-0 gnd |
| topic_facet | Logique symbolique et mathématique logique 1er ordre logique mathématique récursivité théorie axiomatique ensemble théorie modèle théorie récursion Mathematische Logik Modelltheorie Ultraprodukt |
| work_keys_str_mv | AT belljohnl acourseinmathematicallogic AT machovermoshe acourseinmathematicallogic |