Problems in Set Theory, Mathematical Logic and the Theory of Algorithms:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Boston, MA
Springer US
2003
|
| Series: | The University Series in Mathematics
|
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic |
| Physical Description: | 1 Online-Ressource (XII, 282 p) |
| ISBN: | 9781461501855 9781461349570 |
| DOI: | 10.1007/978-1-4615-0185-5 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042420844 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461501855 |c Online |9 978-1-4615-0185-5 | ||
| 020 | |a 9781461349570 |c Print |9 978-1-4613-4957-0 | ||
| 024 | 7 | |a 10.1007/978-1-4615-0185-5 |2 doi | |
| 035 | |a (OCoLC)863675969 | ||
| 035 | |a (DE-599)BVBBV042420844 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Lavrov, Igor |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |c by Igor Lavrov, Larisa Maksimova ; edited by Giovanna Corsi |
| 264 | 1 | |a Boston, MA |b Springer US |c 2003 | |
| 300 | |a 1 Online-Ressource (XII, 282 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a The University Series in Mathematics | |
| 500 | |a Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Algebra / Data processing | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Symbolic and Algebraic Manipulation | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |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 Algorithmentheorie |0 (DE-588)4200409-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Algorithmentheorie |0 (DE-588)4200409-3 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Maksimova, Larisa |e Sonstige |4 oth | |
| 700 | 1 | |a Corsi, Giovanna |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4615-0185-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027856261 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153093238030336 |
|---|---|
| any_adam_object | |
| author | Lavrov, Igor |
| author_facet | Lavrov, Igor |
| author_role | aut |
| author_sort | Lavrov, Igor |
| author_variant | i l il |
| building | Verbundindex |
| bvnumber | BV042420844 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)863675969 (DE-599)BVBBV042420844 |
| 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.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-1-4615-0185-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02890nmm a2200625zc 4500</leader><controlfield tag="001">BV042420844</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461501855</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4615-0185-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461349570</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4613-4957-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4615-0185-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863675969</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042420844</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lavrov, Igor</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Problems in Set Theory, Mathematical Logic and the Theory of Algorithms</subfield><subfield code="c">by Igor Lavrov, Larisa Maksimova ; edited by Giovanna Corsi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston, MA</subfield><subfield code="b">Springer US</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 282 p)</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">The University Series in Mathematics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra / Data processing</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">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Symbolic and Algebraic Manipulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</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">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</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="689" ind1="2" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maksimova, Larisa</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Corsi, Giovanna</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4615-0185-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027856261</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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.BV042420844 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:07Z |
| institution | BVB |
| isbn | 9781461501855 9781461349570 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027856261 |
| oclc_num | 863675969 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XII, 282 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer US |
| record_format | marc |
| series2 | The University Series in Mathematics |
| spelling | Lavrov, Igor Verfasser aut Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by Igor Lavrov, Larisa Maksimova ; edited by Giovanna Corsi Boston, MA Springer US 2003 1 Online-Ressource (XII, 282 p) txt rdacontent c rdamedia cr rdacarrier The University Series in Mathematics Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic Mathematics Logic Algebra / Data processing Logic, Symbolic and mathematical Mathematical Logic and Foundations Symbolic and Algebraic Manipulation Datenverarbeitung Mathematik Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Algorithmentheorie (DE-588)4200409-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Algorithmentheorie (DE-588)4200409-3 s 2\p DE-604 Mengenlehre (DE-588)4074715-3 s 3\p DE-604 Maksimova, Larisa Sonstige oth Corsi, Giovanna Sonstige oth https://doi.org/10.1007/978-1-4615-0185-5 Verlag Volltext 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Lavrov, Igor Problems in Set Theory, Mathematical Logic and the Theory of Algorithms Mathematics Logic Algebra / Data processing Logic, Symbolic and mathematical Mathematical Logic and Foundations Symbolic and Algebraic Manipulation Datenverarbeitung Mathematik Mengenlehre (DE-588)4074715-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Algorithmentheorie (DE-588)4200409-3 gnd |
| subject_GND | (DE-588)4074715-3 (DE-588)4037951-6 (DE-588)4200409-3 |
| title | Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |
| title_auth | Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |
| title_exact_search | Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |
| title_full | Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by Igor Lavrov, Larisa Maksimova ; edited by Giovanna Corsi |
| title_fullStr | Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by Igor Lavrov, Larisa Maksimova ; edited by Giovanna Corsi |
| title_full_unstemmed | Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by Igor Lavrov, Larisa Maksimova ; edited by Giovanna Corsi |
| title_short | Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |
| title_sort | problems in set theory mathematical logic and the theory of algorithms |
| topic | Mathematics Logic Algebra / Data processing Logic, Symbolic and mathematical Mathematical Logic and Foundations Symbolic and Algebraic Manipulation Datenverarbeitung Mathematik Mengenlehre (DE-588)4074715-3 gnd Mathematische Logik (DE-588)4037951-6 gnd Algorithmentheorie (DE-588)4200409-3 gnd |
| topic_facet | Mathematics Logic Algebra / Data processing Logic, Symbolic and mathematical Mathematical Logic and Foundations Symbolic and Algebraic Manipulation Datenverarbeitung Mathematik Mengenlehre Mathematische Logik Algorithmentheorie |
| url | https://doi.org/10.1007/978-1-4615-0185-5 |
| work_keys_str_mv | AT lavrovigor problemsinsettheorymathematicallogicandthetheoryofalgorithms AT maksimovalarisa problemsinsettheorymathematicallogicandthetheoryofalgorithms AT corsigiovanna problemsinsettheorymathematicallogicandthetheoryofalgorithms |