Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church.
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:
Superior document: | Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2016] ©1991 |
Year of Publication: | 2016 |
Language: | English |
Series: | Princeton Mathematical Series ;
13 |
Online Access: | |
Physical Description: | 1 online resource (392 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
9781400881451 |
---|---|
ctrlnum |
(DE-B1597)467976 (OCoLC)954124349 |
collection |
bib_alma |
record_format |
marc |
spelling |
Church, Alonzo, author. aut http://id.loc.gov/vocabulary/relators/aut Introduction to Mathematical Logic (PMS-13), Volume 13 / Alonzo Church. Princeton, NJ : Princeton University Press, [2016] ©1991 1 online resource (392 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Princeton Mathematical Series ; 13 Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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. Issued also in print. Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 31. Jan 2022) Logic, Symbolic and mathematical. MATHEMATICS / Logic. bisacsh Abstract algebra. Acta Mathematica. Arithmetic. Axiom of choice. Axiom of infinity. Axiom of reducibility. Axiom schema. Axiom. Axiomatic system. Binary function. Boolean algebra (structure). Boolean ring. Calculus ratiocinator. Characterization (mathematics). Class (set theory). Classical mathematics. Commutative property. Commutative ring. Conditional disjunction. David Hilbert. Decision problem. Deduction theorem. Denotation. Disjunctive syllogism. Double negation. Duality (mathematics). Elementary algebra. Elementary arithmetic. English alphabet. Equation. Existential quantification. Expression (mathematics). Formation rule. Frege (programming language). Function (mathematics). Functional calculus. Fundamenta Mathematicae. Gödel numbering. Gödel's completeness theorem. Gödel's incompleteness theorems. Hilbert's program. Hypothetical syllogism. Imperative logic. Inference. Introduction to Mathematical Philosophy. Lambda calculus. Linear differential equation. Logic. Logical connective. Logical disjunction. Material implication (rule of inference). Mathematical analysis. Mathematical induction. Mathematical logic. Mathematical notation. Mathematical practice. Mathematical problem. Mathematical theory. Mathematics. Mathematische Zeitschrift. Metatheorem. Modal logic. Modus ponendo tollens. Natural number. Naturalness (physics). Negation. Notation. Number theory. Object language. Parity (mathematics). Predicate (mathematical logic). Prenex normal form. Principia Mathematica. Propositional calculus. Propositional function. Propositional variable. Quantifier (logic). Range (mathematics). Real number. Recursion (computer science). Restriction (mathematics). Riemann surface. Ring (mathematics). Rule of inference. Scientific notation. Second-order arithmetic. Series (mathematics). Sign (mathematics). Skolem normal form. Special case. Tautology (logic). Term logic. The Principles of Mathematics. Theorem. Three-dimensional space (mathematics). Transfinite number. Triviality (mathematics). Truth table. Variable (mathematics). Zermelo set theory. Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 9783110494914 ZDB-23-PMB Title is part of eBook package: De Gruyter Princeton Mathematical Series eBook Package 9783110501063 ZDB-23-PMS Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Archive 1927-1999 9783110442496 print 9780691029061 https://doi.org/10.1515/9781400881451 https://www.degruyter.com/isbn/9781400881451 Cover https://www.degruyter.com/document/cover/isbn/9781400881451/original |
language |
English |
format |
eBook |
author |
Church, Alonzo, Church, Alonzo, |
spellingShingle |
Church, Alonzo, Church, Alonzo, Introduction to Mathematical Logic (PMS-13), Volume 13 / Princeton Mathematical Series ; Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
author_facet |
Church, Alonzo, Church, Alonzo, |
author_variant |
a c ac a c ac |
author_role |
VerfasserIn VerfasserIn |
author_sort |
Church, Alonzo, |
title |
Introduction to Mathematical Logic (PMS-13), Volume 13 / |
title_full |
Introduction to Mathematical Logic (PMS-13), Volume 13 / Alonzo Church. |
title_fullStr |
Introduction to Mathematical Logic (PMS-13), Volume 13 / Alonzo Church. |
title_full_unstemmed |
Introduction to Mathematical Logic (PMS-13), Volume 13 / Alonzo Church. |
title_auth |
Introduction to Mathematical Logic (PMS-13), Volume 13 / |
title_alt |
Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
title_new |
Introduction to Mathematical Logic (PMS-13), Volume 13 / |
title_sort |
introduction to mathematical logic (pms-13), volume 13 / |
series |
Princeton Mathematical Series ; |
series2 |
Princeton Mathematical Series ; |
publisher |
Princeton University Press, |
publishDate |
2016 |
physical |
1 online resource (392 p.) Issued also in print. |
contents |
Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
isbn |
9781400881451 9783110494914 9783110501063 9783110442496 9780691029061 |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
BC - Logic |
callnumber-label |
BC135 |
callnumber-sort |
BC 3135 C48 41970EB |
url |
https://doi.org/10.1515/9781400881451 https://www.degruyter.com/isbn/9781400881451 https://www.degruyter.com/document/cover/isbn/9781400881451/original |
illustrated |
Not Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
511 - General principles of mathematics |
dewey-full |
511.3 |
dewey-sort |
3511.3 |
dewey-raw |
511.3 |
dewey-search |
511.3 |
doi_str_mv |
10.1515/9781400881451 |
oclc_num |
954124349 |
work_keys_str_mv |
AT churchalonzo introductiontomathematicallogicpms13volume13 |
status_str |
n |
ids_txt_mv |
(DE-B1597)467976 (OCoLC)954124349 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 Title is part of eBook package: De Gruyter Princeton Mathematical Series eBook Package Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Archive 1927-1999 |
is_hierarchy_title |
Introduction to Mathematical Logic (PMS-13), Volume 13 / |
container_title |
Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 |
_version_ |
1770176739719249920 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>08106nam a22019455i 4500</leader><controlfield tag="001">9781400881451</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20220131112047.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">220131t20161991nju fo d z eng d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)999361806</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400881451</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">(DE-B1597)467976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)954124349</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">nju</subfield><subfield code="c">US-NJ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC135</subfield><subfield code="b">.C48 1970eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Church, Alonzo, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to Mathematical Logic (PMS-13), Volume 13 /</subfield><subfield code="c">Alonzo Church.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ : </subfield><subfield code="b">Princeton University Press, </subfield><subfield code="c">[2016]</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 (392 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Princeton Mathematical Series ;</subfield><subfield code="v">13</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Preface -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">Introduction -- </subfield><subfield code="t">I. The Propositional Calculus -- </subfield><subfield code="t">II. The Propositional Calculus (Continued) -- </subfield><subfield code="t">III. Functional Calculi of First Order -- </subfield><subfield code="t">IV. The Pure Functional Calculus of First Order -- </subfield><subfield code="t">V. Functional Calculi of Second Order -- </subfield><subfield code="t">Index of Definitions -- </subfield><subfield code="t">Index of Authors -- </subfield><subfield code="t">Errata</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</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="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 31. Jan 2022)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Abstract algebra.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Acta Mathematica.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Arithmetic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom of choice.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom of infinity.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom of reducibility.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom schema.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiomatic system.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Binary function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Boolean algebra (structure).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Boolean ring.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Calculus ratiocinator.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Characterization (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Class (set theory).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Classical mathematics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Commutative property.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Commutative ring.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Conditional disjunction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">David Hilbert.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Decision problem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Deduction theorem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Denotation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Disjunctive syllogism.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Double negation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Duality (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Elementary algebra.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Elementary arithmetic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">English alphabet.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Equation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Existential quantification.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Expression (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formation rule.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Frege (programming language).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Function (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Functional calculus.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Fundamenta Mathematicae.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Gödel numbering.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Gödel's completeness theorem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Gödel's incompleteness theorems.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Hilbert's program.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Hypothetical syllogism.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Imperative logic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Inference.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Introduction to Mathematical Philosophy.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Lambda calculus.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Linear differential equation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logical connective.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logical disjunction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Material implication (rule of inference).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical analysis.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical induction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical logic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical notation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical practice.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical problem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical theory.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematische Zeitschrift.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Metatheorem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Modal logic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Modus ponendo tollens.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Natural number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Naturalness (physics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Negation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Notation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Number theory.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Object language.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Parity (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Predicate (mathematical logic).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Prenex normal form.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Principia Mathematica.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Propositional calculus.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Propositional function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Propositional variable.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Quantifier (logic).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Range (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Real number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Recursion (computer science).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Restriction (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Riemann surface.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Ring (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Rule of inference.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Scientific notation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Second-order arithmetic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Series (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Sign (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Skolem normal form.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Special case.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Tautology (logic).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Term logic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">The Principles of Mathematics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Theorem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Three-dimensional space (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Transfinite number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Triviality (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Truth table.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Variable (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Zermelo set theory.</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">Princeton Annals of Mathematics eBook-Package 1940-2020</subfield><subfield code="z">9783110494914</subfield><subfield code="o">ZDB-23-PMB</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">Princeton Mathematical Series eBook Package</subfield><subfield code="z">9783110501063</subfield><subfield code="o">ZDB-23-PMS</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">Princeton University Press eBook-Package Archive 1927-1999</subfield><subfield code="z">9783110442496</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9780691029061</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400881451</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781400881451</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781400881451/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-044249-6 Princeton University Press eBook-Package Archive 1927-1999</subfield><subfield code="c">1927</subfield><subfield code="d">1999</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA18STMEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-PMB</subfield><subfield code="c">1940</subfield><subfield code="d">2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-PMS</subfield></datafield></record></collection> |