Introduction to mathematical logic:
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Princeton, NJ
Princeton University Press
1996
|
| Edition: | Revised and enlarged edition, tenth printing, for the Princeton Landmarks in Mathematics and Physics series |
| Series: | Princeton Landmarks in Mathematics and Physics
|
| Subjects: | |
| Online Access: | Volltext |
| Summary: | Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world |
| Item Description: | Originally published in 1944 in the Annals of Mathematics Studies, Vol. 13. A revised and enlarged edition was published in 1956 in the Princeton Mathematical Series. |
| Physical Description: | 1 online resource |
| ISBN: | 9781400881451 9780691029061 |
| DOI: | 10.1515/9781400881451 |
Staff View
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV043712405 | ||
| 003 | DE-604 | ||
| 005 | 20190621 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160810s1996 |||| o||u| ||||||eng d | ||
| 020 | |a 9781400881451 |9 978-1-4008-8145-1 | ||
| 020 | |a 9780691029061 |c print |9 978-0-691-02906-1 | ||
| 024 | 7 | |a 10.1515/9781400881451 |2 doi | |
| 035 | |a (ZDB-23-DGG)9781400881451 | ||
| 035 | |a (OCoLC)1165548912 | ||
| 035 | |a (DE-599)BVBBV043712405 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CC 3500 |0 (DE-625)17618: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Church, Alonzo |d 1903-1995 |e Verfasser |0 (DE-588)119430223 |4 aut | |
| 245 | 1 | 0 | |a Introduction to mathematical logic |c by Alonzo Church |
| 250 | |a Revised and enlarged edition, tenth printing, for the Princeton Landmarks in Mathematics and Physics series | ||
| 264 | 1 | |a Princeton, NJ |b Princeton University Press |c 1996 | |
| 264 | 4 | |c © 1991 | |
| 300 | |a 1 online resource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Princeton Landmarks in Mathematics and Physics | |
| 500 | |a Originally published in 1944 in the Annals of Mathematics Studies, Vol. 13. A revised and enlarged edition was published in 1956 in the Princeton Mathematical Series. | ||
| 520 | |a Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world | ||
| 546 | |a In English | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0-691-02906-7 |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9781400881451?locatt=mode:legacy |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-23-DGG |a ZDB-23-PST | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029124633 | ||
Record in the Search Index
| _version_ | 1804176498393874432 |
|---|---|
| any_adam_object | |
| author | Church, Alonzo 1903-1995 |
| author_GND | (DE-588)119430223 |
| author_facet | Church, Alonzo 1903-1995 |
| author_role | aut |
| author_sort | Church, Alonzo 1903-1995 |
| author_variant | a c ac |
| building | Verbundindex |
| bvnumber | BV043712405 |
| classification_rvk | CC 2600 CC 3500 SK 130 |
| collection | ZDB-23-DGG ZDB-23-PST |
| ctrlnum | (ZDB-23-DGG)9781400881451 (OCoLC)1165548912 (DE-599)BVBBV043712405 |
| 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 Philosophie |
| doi_str_mv | 10.1515/9781400881451 |
| edition | Revised and enlarged edition, tenth printing, for the Princeton Landmarks in Mathematics and Physics series |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03205nmm a2200493 c 4500</leader><controlfield tag="001">BV043712405</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190621 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160810s1996 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400881451</subfield><subfield code="9">978-1-4008-8145-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780691029061</subfield><subfield code="c">print</subfield><subfield code="9">978-0-691-02906-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400881451</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-23-DGG)9781400881451</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1165548912</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043712405</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</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">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 3500</subfield><subfield code="0">(DE-625)17618:</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="100" ind1="1" ind2=" "><subfield code="a">Church, Alonzo</subfield><subfield code="d">1903-1995</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119430223</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to mathematical logic</subfield><subfield code="c">by Alonzo Church</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Revised and enlarged edition, tenth printing, for the Princeton Landmarks in Mathematics and Physics series</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ</subfield><subfield code="b">Princeton University Press</subfield><subfield code="c">1996</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</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">Princeton Landmarks in Mathematics and Physics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Originally published in 1944 in the Annals of Mathematics Studies, Vol. 13. A revised and enlarged edition was published in 1956 in the Princeton Mathematical Series.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">0-691-02906-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400881451?locatt=mode:legacy</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="a">ZDB-23-PST</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029124633</subfield></datafield></record></collection> |
| id | DE-604.BV043712405 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:33:08Z |
| institution | BVB |
| isbn | 9781400881451 9780691029061 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029124633 |
| oclc_num | 1165548912 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 1 online resource |
| psigel | ZDB-23-DGG ZDB-23-PST |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Princeton University Press |
| record_format | marc |
| series2 | Princeton Landmarks in Mathematics and Physics |
| spelling | Church, Alonzo 1903-1995 Verfasser (DE-588)119430223 aut Introduction to mathematical logic by Alonzo Church Revised and enlarged edition, tenth printing, for the Princeton Landmarks in Mathematics and Physics series Princeton, NJ Princeton University Press 1996 © 1991 1 online resource txt rdacontent c rdamedia cr rdacarrier Princeton Landmarks in Mathematics and Physics Originally published in 1944 in the Annals of Mathematics Studies, Vol. 13. A revised and enlarged edition was published in 1956 in the Princeton Mathematical Series. Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world In English Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Erscheint auch als Druck-Ausgabe 0-691-02906-7 https://doi.org/10.1515/9781400881451?locatt=mode:legacy Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Church, Alonzo 1903-1995 Introduction to mathematical logic Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Introduction to mathematical logic |
| title_auth | Introduction to mathematical logic |
| title_exact_search | Introduction to mathematical logic |
| title_full | Introduction to mathematical logic by Alonzo Church |
| title_fullStr | Introduction to mathematical logic by Alonzo Church |
| title_full_unstemmed | Introduction to mathematical logic by Alonzo Church |
| title_short | Introduction to mathematical logic |
| title_sort | introduction to mathematical logic |
| topic | Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Mathematische Logik |
| url | https://doi.org/10.1515/9781400881451?locatt=mode:legacy |
| work_keys_str_mv | AT churchalonzo introductiontomathematicallogic |