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!
LEADER 05229nam a22015495i 4500
001 9781400882366
003 DE-B1597
005 20220131112047.0
006 m|||||o||d||||||||
007 cr || ||||||||
008 220131t20161942nju fo d z eng d
020 |a 9781400882366 
024 7 |a 10.1515/9781400882366  |2 doi 
035 |a (DE-B1597)468041 
035 |a (OCoLC)979836510 
040 |a DE-B1597  |b eng  |c DE-B1597  |e rda 
041 0 |a eng 
044 |a nju  |c US-NJ 
050 4 |a BC135 
072 7 |a MAT018000  |2 bisacsh 
082 0 4 |a 164 
100 1 |a Post, Emil L.,   |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 4 |a The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /  |c Emil L. Post. 
264 1 |a Princeton, NJ :   |b Princeton University Press,   |c [2016] 
264 4 |c ©1942 
300 |a 1 online resource (122 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 0 |a Annals of Mathematics Studies ;  |v 5 
505 0 0 |t Frontmatter --   |t CONTENTS --   |t INTRODUCTION --   |t Part I. PRELIMINARIES --   |t PART II. DERIVATION OP CLOSED SYSTEMS --   |t PART III. CO-ORDINATION AND APPLICATION --   |t BIBLIOGRAPHY 
506 0 |a restricted access  |u http://purl.org/coar/access_right/c_16ec  |f online access with authorization  |2 star 
520 |a The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming. 
530 |a Issued also in print. 
538 |a Mode of access: Internet via World Wide Web. 
546 |a In English. 
588 0 |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 31. Jan 2022) 
650 0 |a Logic, Symbolic and mathematical. 
650 7 |a MATHEMATICS / Logic.  |2 bisacsh 
653 |a 0Q. 
653 |a 1J. 
653 |a Abstract structure. 
653 |a Addition. 
653 |a Antiderivative. 
653 |a Argument of a function. 
653 |a Axiom. 
653 |a Big O notation. 
653 |a Bijection. 
653 |a Boolean algebra (structure). 
653 |a Calculation. 
653 |a Cardinal number. 
653 |a Classical mathematics. 
653 |a Conjecture. 
653 |a Contradiction. 
653 |a Countable set. 
653 |a Diagram (category theory). 
653 |a Dimension. 
653 |a Direct proof. 
653 |a Duality (mathematics). 
653 |a Duality (optimization). 
653 |a Existential quantification. 
653 |a Finite group. 
653 |a Finite set. 
653 |a Floor and ceiling functions. 
653 |a Function (mathematics). 
653 |a Inequality (mathematics). 
653 |a Inverse problem. 
653 |a Iteration. 
653 |a Join and meet. 
653 |a K-function. 
653 |a Lattice (order). 
653 |a Linear differential equation. 
653 |a Logic. 
653 |a Logical conjunction. 
653 |a Logical disjunction. 
653 |a Mathematical induction. 
653 |a Mathematical logic. 
653 |a Membership function (mathematics). 
653 |a Morphism. 
653 |a Mutual exclusivity. 
653 |a Negation. 
653 |a Notation. 
653 |a Null set. 
653 |a Oswald Veblen. 
653 |a Parameter. 
653 |a Parity (mathematics). 
653 |a Polynomial. 
653 |a Principia Mathematica. 
653 |a Projective geometry. 
653 |a Propositional calculus. 
653 |a Propositional variable. 
653 |a Requirement. 
653 |a Scientific notation. 
653 |a Sequence. 
653 |a Statistical hypothesis testing. 
653 |a Subgroup. 
653 |a Subset. 
653 |a Suggestion. 
653 |a Summation. 
653 |a System T. 
653 |a The Principles of Mathematics. 
653 |a Theorem. 
653 |a Transfinite number. 
653 |a Transfinite. 
653 |a Truth table. 
653 |a Uncountable set. 
653 |a Uniqueness. 
653 |a Variable (mathematics). 
653 |a Venn diagram. 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t Princeton Annals of Mathematics eBook-Package 1940-2020  |z 9783110494914  |o ZDB-23-PMB 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t Princeton University Press eBook-Package Archive 1927-1999  |z 9783110442496 
776 0 |c print  |z 9780691095707 
856 4 0 |u https://doi.org/10.1515/9781400882366 
856 4 0 |u https://www.degruyter.com/isbn/9781400882366 
856 4 2 |3 Cover  |u https://www.degruyter.com/document/cover/isbn/9781400882366/original 
912 |a 978-3-11-044249-6 Princeton University Press eBook-Package Archive 1927-1999  |c 1927  |d 1999 
912 |a EBA_BACKALL 
912 |a EBA_CL_MTPY 
912 |a EBA_EBACKALL 
912 |a EBA_EBKALL 
912 |a EBA_ECL_MTPY 
912 |a EBA_EEBKALL 
912 |a EBA_ESTMALL 
912 |a EBA_PPALL 
912 |a EBA_STMALL 
912 |a GBV-deGruyter-alles 
912 |a PDA12STME 
912 |a PDA13ENGE 
912 |a PDA18STMEE 
912 |a PDA5EBK 
912 |a ZDB-23-PMB  |c 1940  |d 2020 

Similar Items