The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /

The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post.

The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming.

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020
VerfasserIn:
Post, Emil L.,
Place / Publishing House:Princeton, NJ : : Princeton University Press, , [2016]
©1942
Year of Publication:2016
Language:English
Series:Annals of Mathematics Studies ; 5
Online Access:
Physical Description:1 online resource (122 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 9781400882366
ctrlnum (DE-B1597)468041
(OCoLC)979836510
collection bib_alma
record_format marc
spelling Post, Emil L., author. aut http://id.loc.gov/vocabulary/relators/aut
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / Emil L. Post.
Princeton, NJ : Princeton University Press, [2016]
©1942
1 online resource (122 p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Annals of Mathematics Studies ; 5
Frontmatter -- CONTENTS -- INTRODUCTION -- Part I. PRELIMINARIES -- PART II. DERIVATION OP CLOSED SYSTEMS -- PART III. CO-ORDINATION AND APPLICATION -- BIBLIOGRAPHY
restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star
The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming.
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
0Q.
1J.
Abstract structure.
Addition.
Antiderivative.
Argument of a function.
Axiom.
Big O notation.
Bijection.
Boolean algebra (structure).
Calculation.
Cardinal number.
Classical mathematics.
Conjecture.
Contradiction.
Countable set.
Diagram (category theory).
Dimension.
Direct proof.
Duality (mathematics).
Duality (optimization).
Existential quantification.
Finite group.
Finite set.
Floor and ceiling functions.
Function (mathematics).
Inequality (mathematics).
Inverse problem.
Iteration.
Join and meet.
K-function.
Lattice (order).
Linear differential equation.
Logic.
Logical conjunction.
Logical disjunction.
Mathematical induction.
Mathematical logic.
Membership function (mathematics).
Morphism.
Mutual exclusivity.
Negation.
Notation.
Null set.
Oswald Veblen.
Parameter.
Parity (mathematics).
Polynomial.
Principia Mathematica.
Projective geometry.
Propositional calculus.
Propositional variable.
Requirement.
Scientific notation.
Sequence.
Statistical hypothesis testing.
Subgroup.
Subset.
Suggestion.
Summation.
System T.
The Principles of Mathematics.
Theorem.
Transfinite number.
Transfinite.
Truth table.
Uncountable set.
Uniqueness.
Variable (mathematics).
Venn diagram.
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 University Press eBook-Package Archive 1927-1999 9783110442496
print 9780691095707
https://doi.org/10.1515/9781400882366
https://www.degruyter.com/isbn/9781400882366
Cover https://www.degruyter.com/document/cover/isbn/9781400882366/original
language English
format eBook
author Post, Emil L.,
Post, Emil L.,
spellingShingle Post, Emil L.,
Post, Emil L.,
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /
Annals of Mathematics Studies ;
Frontmatter --
CONTENTS --
INTRODUCTION --
Part I. PRELIMINARIES --
PART II. DERIVATION OP CLOSED SYSTEMS --
PART III. CO-ORDINATION AND APPLICATION --
BIBLIOGRAPHY
author_facet Post, Emil L.,
Post, Emil L.,
author_variant e l p el elp
e l p el elp
author_role VerfasserIn
VerfasserIn
author_sort Post, Emil L.,
title The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /
title_full The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / Emil L. Post.
title_fullStr The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / Emil L. Post.
title_full_unstemmed The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / Emil L. Post.
title_auth The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /
title_alt Frontmatter --
CONTENTS --
INTRODUCTION --
Part I. PRELIMINARIES --
PART II. DERIVATION OP CLOSED SYSTEMS --
PART III. CO-ORDINATION AND APPLICATION --
BIBLIOGRAPHY
title_new The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /
title_sort the two-valued iterative systems of mathematical logic. (am-5), volume 5 /
series Annals of Mathematics Studies ;
series2 Annals of Mathematics Studies ;
publisher Princeton University Press,
publishDate 2016
physical 1 online resource (122 p.)
Issued also in print.
contents Frontmatter --
CONTENTS --
INTRODUCTION --
Part I. PRELIMINARIES --
PART II. DERIVATION OP CLOSED SYSTEMS --
PART III. CO-ORDINATION AND APPLICATION --
BIBLIOGRAPHY
isbn 9781400882366
9783110494914
9783110442496
9780691095707
callnumber-first B - Philosophy, Psychology, Religion
callnumber-subject BC - Logic
callnumber-label BC135
callnumber-sort BC 3135
url https://doi.org/10.1515/9781400882366
https://www.degruyter.com/isbn/9781400882366
https://www.degruyter.com/document/cover/isbn/9781400882366/original
illustrated Not Illustrated
dewey-hundreds 100 - Philosophy & psychology
dewey-tens 160 - Logic
dewey-ones 164 - [Unassigned]
dewey-full 164
dewey-sort 3164
dewey-raw 164
dewey-search 164
doi_str_mv 10.1515/9781400882366
oclc_num 979836510
work_keys_str_mv AT postemill thetwovaluediterativesystemsofmathematicallogicam5volume5
AT postemill twovaluediterativesystemsofmathematicallogicam5volume5
status_str n
ids_txt_mv (DE-B1597)468041
(OCoLC)979836510
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 University Press eBook-Package Archive 1927-1999
is_hierarchy_title The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /
container_title Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020
_version_ 1770176760942428160
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05229nam a22015495i 4500</leader><controlfield tag="001">9781400882366</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">220131t20161942nju fo d z eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400882366</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400882366</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)468041</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)979836510</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></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">164</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Post, Emil L., </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="4"><subfield code="a">The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /</subfield><subfield code="c">Emil L. Post.</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">©1942</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (122 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">Annals of Mathematics Studies ;</subfield><subfield code="v">5</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">CONTENTS -- </subfield><subfield code="t">INTRODUCTION -- </subfield><subfield code="t">Part I. PRELIMINARIES -- </subfield><subfield code="t">PART II. DERIVATION OP CLOSED SYSTEMS -- </subfield><subfield code="t">PART III. CO-ORDINATION AND APPLICATION -- </subfield><subfield code="t">BIBLIOGRAPHY</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">The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming.</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">0Q.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">1J.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Abstract structure.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Addition.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Antiderivative.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Argument of a function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Axiom.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Big O notation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Bijection.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Boolean algebra (structure).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Calculation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Cardinal number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Classical mathematics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Conjecture.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Contradiction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Countable set.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Diagram (category theory).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Dimension.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Direct proof.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Duality (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Duality (optimization).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Existential quantification.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Finite group.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Finite set.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Floor and ceiling functions.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Function (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Inequality (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Inverse problem.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Iteration.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Join and meet.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">K-function.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Lattice (order).</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 conjunction.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logical disjunction.</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">Membership function (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Morphism.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mutual exclusivity.</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">Null set.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Oswald Veblen.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Parameter.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Parity (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Polynomial.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Principia Mathematica.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Projective geometry.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Propositional calculus.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Propositional variable.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Requirement.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Scientific notation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Sequence.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Statistical hypothesis testing.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Subgroup.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Subset.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Suggestion.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Summation.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">System T.</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">Transfinite number.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Transfinite.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Truth table.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Uncountable set.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Uniqueness.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Variable (mathematics).</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Venn diagram.</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 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">9780691095707</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400882366</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781400882366</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781400882366/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></record></collection>

Similar Items