A course on mathematical logic:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY [u.a.]
Springer
2013
|
| Ausgabe: | 2. ed. |
| Schriftenreihe: | Universitext
|
| Schlagworte: | |
| Online-Zugang: | BTU01 TUM01 UBA01 UBM01 UBT01 UBW01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9781461457459 9781461457466 |
| DOI: | 10.1007/978-1-4614-5746-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV040796922 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 130305s2013 |||| o||u| ||||||eng d | ||
| 015 | |a 13,O02 |2 dnb | ||
| 016 | 7 | |a 1029715041 |2 DE-101 | |
| 020 | |a 9781461457459 |9 978-1-4614-5745-9 | ||
| 020 | |a 9781461457466 |c Online |9 978-1-4614-5746-6 | ||
| 024 | 7 | |a 10.1007/978-1-4614-5746-6 |2 doi | |
| 024 | 3 | |a 9781461457466 | |
| 035 | |a (OCoLC)863900041 | ||
| 035 | |a (DE-599)DNB1029715041 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 |a DE-20 |a DE-703 |a DE-19 |a DE-91 |a DE-739 |a DE-384 |a DE-83 | ||
| 082 | 0 | |a 004 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 000 |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Srivastava, Sashi Mohan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A course on mathematical logic |c Shashi Mohan Srivastava |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a New York, NY [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Universitext | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statistik |0 (DE-588)4056995-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wahrscheinlichkeitsrechnung |0 (DE-588)4064324-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Wahrscheinlichkeitsrechnung |0 (DE-588)4064324-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Statistik |0 (DE-588)4056995-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4614-5746-6 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025777101&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025777101&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025777101 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4614-5746-6 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-5746-6 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-5746-6 |l UBA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-5746-6 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-5746-6 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-5746-6 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-5746-6 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804150132830109696 |
|---|---|
| adam_text | A COURSE ON MATHEMATICAL LOGIC
/ SRIVASTAVA, SHASHI MOHAN
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PREFACE
1 SYNTAX OF FIRST-ORDER LOGIC
2 SEMANTICS OF FIRST-ORDER LANGUAGES
3 PROPOSITIONAL LOGIC
4 COMPLETENESS THEOREM FOR FIRST-ORDER LOGIC
5 MODEL THEORY
6 RECURSIVE FUNCTIONS AND ARITHMETIZATION OF THEORIES
7 INCOMPLETENESS THEOREMS AND RECURSION THEORY
REFERENCES
INDEX
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
A COURSE ON MATHEMATICAL LOGIC
/ SRIVASTAVA, SHASHI MOHAN
: 2013
ABSTRACT / INHALTSTEXT
THIS IS A SHORT, MODERN, AND MOTIVATED INTRODUCTION TO MATHEMATICAL
LOGIC FOR UPPER UNDERGRADUATE AND BEGINNING GRADUATE STUDENTS IN
MATHEMATICS AND COMPUTER SCIENCE. ANY MATHEMATICIAN WHO IS INTERESTED IN
GETTING ACQUAINTED WITH LOGIC AND WOULD LIKE TO LEARN GOEDEL’S
INCOMPLETENESS THEOREMS SHOULD FIND THIS BOOK PARTICULARLY USEFUL. THE
TREATMENT IS THOROUGHLY MATHEMATICAL AND PREPARES STUDENTS TO BRANCH OUT
IN SEVERAL AREAS OF MATHEMATICS RELATED TO FOUNDATIONS AND
COMPUTABILITY, SUCH AS LOGIC, AXIOMATIC SET THEORY, MODEL THEORY,
RECURSION THEORY, AND COMPUTABILITY. IN THIS NEW EDITION, MANY SMALL AND
LARGE CHANGES HAVE BEEN MADE THROUGHOUT THE TEXT. THE MAIN PURPOSE OF
THIS NEW EDITION IS TOPROVIDE A HEALTHY FIRST INTRODUCTION TO MODEL
THEORY, WHICH IS A VERY IMPORTANT BRANCH OF LOGIC. TOPICS IN THE NEW
CHAPTER INCLUDE ULTRAPRODUCT OF MODELS, ELIMINATION OF QUANTIFIERS,
TYPES, APPLICATIONS OF TYPES TO MODEL THEORY, AND APPLICATIONS TO
ALGEBRA, NUMBER THEORY AND GEOMETRY. SOME PROOFS, SUCH AS THE PROOF OF
THE VERY IMPORTANT COMPLETENESS THEOREM, HAVE BEEN COMPLETELY
REWRITTEN IN A MORE CLEAR AND CONCISE MANNER. THE NEW EDITION ALSO
INTRODUCES NEW TOPICS, SUCH AS THE NOTION OF ELEMENTARY CLASS OF
STRUCTURES, ELEMENTARY DIAGRAMS, PARTIAL ELEMENTARY MAPS, HOMOGENEOUS
STRUCTURES, DEFINABILITY, AND MANY MORE. REVIEW FROM THE FIRST EDITION:
ALL RESULTS INCLUDED IN THE BOOK ARE VERY CAREFULLY SELECTED AND
PROVED. THE AUTHOR’S MANNER OF WRITING IS EXCELLENT, WHICH WILL SURELY
MAKE THIS BOOK USEFUL TO MANY CATEGORIES OF READERS.
MARIUS TARNAUCEANU, ZENTRALBLATT MATH.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Srivastava, Sashi Mohan |
| author_facet | Srivastava, Sashi Mohan |
| author_role | aut |
| author_sort | Srivastava, Sashi Mohan |
| author_variant | s m s sm sms |
| building | Verbundindex |
| bvnumber | BV040796922 |
| classification_rvk | SK 130 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (OCoLC)863900041 (DE-599)DNB1029715041 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-1-4614-5746-6 |
| edition | 2. ed. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02930nmm a2200637zc 4500</leader><controlfield tag="001">BV040796922</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">130305s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,O02</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1029715041</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461457459</subfield><subfield code="9">978-1-4614-5745-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461457466</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4614-5746-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4614-5746-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781461457466</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863900041</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1029715041</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-634</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Srivastava, Sashi Mohan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A course on mathematical logic</subfield><subfield code="c">Shashi Mohan Srivastava</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">Universitext</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">Statistik</subfield><subfield code="0">(DE-588)4056995-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wahrscheinlichkeitsrechnung</subfield><subfield code="0">(DE-588)4064324-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wahrscheinlichkeitsrechnung</subfield><subfield code="0">(DE-588)4064324-4</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">Statistik</subfield><subfield code="0">(DE-588)4056995-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">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="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4614-5746-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025777101&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025777101&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025777101</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-5746-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-5746-6</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-5746-6</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-5746-6</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-5746-6</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-5746-6</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-5746-6</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV040796922 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:34:04Z |
| institution | BVB |
| isbn | 9781461457459 9781461457466 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025777101 |
| oclc_num | 863900041 |
| open_access_boolean | |
| owner | DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-83 |
| owner_facet | DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-83 |
| physical | 1 Online-Ressource |
| psigel | ZDB-2-SMA |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series2 | Universitext |
| spelling | Srivastava, Sashi Mohan Verfasser aut A course on mathematical logic Shashi Mohan Srivastava 2. ed. New York, NY [u.a.] Springer 2013 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Universitext Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Statistik (DE-588)4056995-0 gnd rswk-swf Wahrscheinlichkeitsrechnung (DE-588)4064324-4 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Wahrscheinlichkeitsrechnung (DE-588)4064324-4 s DE-604 Statistik (DE-588)4056995-0 s Mathematische Logik (DE-588)4037951-6 s https://doi.org/10.1007/978-1-4614-5746-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025777101&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025777101&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Srivastava, Sashi Mohan A course on mathematical logic Mathematische Logik (DE-588)4037951-6 gnd Statistik (DE-588)4056995-0 gnd Wahrscheinlichkeitsrechnung (DE-588)4064324-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4056995-0 (DE-588)4064324-4 (DE-588)4123623-3 |
| title | A course on mathematical logic |
| title_auth | A course on mathematical logic |
| title_exact_search | A course on mathematical logic |
| title_full | A course on mathematical logic Shashi Mohan Srivastava |
| title_fullStr | A course on mathematical logic Shashi Mohan Srivastava |
| title_full_unstemmed | A course on mathematical logic Shashi Mohan Srivastava |
| title_short | A course on mathematical logic |
| title_sort | a course on mathematical logic |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Statistik (DE-588)4056995-0 gnd Wahrscheinlichkeitsrechnung (DE-588)4064324-4 gnd |
| topic_facet | Mathematische Logik Statistik Wahrscheinlichkeitsrechnung Lehrbuch |
| url | https://doi.org/10.1007/978-1-4614-5746-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025777101&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025777101&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT srivastavasashimohan acourseonmathematicallogic |