| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
in00005756821 |
| 005 |
20260326211118.3 |
| 006 |
m o d |
| 007 |
cr cnu---unuuu |
| 008 |
141020s1974 ne ob 001 0 eng d |
| 040 |
|
|
|a OPELS
|b eng
|e rda
|e pn
|c OPELS
|d N$T
|d OCLCF
|d EBLCP
|d DEBSZ
|d MERUC
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|d OCLCA
|d OCLCL
|d OCLCA
|
| 019 |
|
|
|a 898769094
|
| 020 |
|
|
|a 9781483257976
|q (electronic bk.)
|
| 020 |
|
|
|a 1483257975
|q (electronic bk.)
|
| 020 |
|
|
|z 9780720420982
|
| 035 |
|
|
|a (OCoLC)893438054
|z (OCoLC)898769094
|
| 050 |
|
4 |
|a QA9
|
| 072 |
|
7 |
|a MAT
|x 000000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 511/.3
|2 22
|
| 049 |
|
|
|a TXAM
|
| 100 |
1 |
|
|a Rogers, Robert,
|d 1926-2011,
|e author.
|1 https://id.oclc.org/worldcat/entity/E39PCjCVHm7qJGgtJT4r3FDhjK
|
| 245 |
1 |
0 |
|a Mathematical logic and formalized theories :
|b a survey of basic concepts and results /
|c Robert Rogers.
|
| 264 |
|
1 |
|a Amsterdam :
|b North-Holland,
|c [1974, 1971]
|
| 264 |
|
4 |
|c ©1971
|
| 300 |
|
|
|a 1 online resource (xi, 235 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references and indexes.
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a Front Cover; Mathematical logic and Formalized Theories: A Survey of Basic Concepts and Results; Copyright Page; Dedication; PREFACE; Table of Contents; CHAPTER I. THE SENTENTIAL LOGIC; 1.1. Introduction; 1.2. Sentential Connectives; 1.3. The Sentential Logic P. Symbols and Formulas; 1.4. Tautologies; 1.5. Axiom Schemata of P. Rules of Inference and Theorems; 1.6. Metamathematical Properties of P; CHAPTER II. THE FIRST-ORDER PREDICATE LOGIC: I; 2.1. The First-Order Predicate Logic F1. Symbols, Quantifiers and Formulas; 2.2. Interpretations. Truth and Validity.
|
| 505 |
8 |
|
|a 2.3. Axiom Schemata of F . Rules of Inference and Theorems. Consistency of F 2.4. The Deduction Theorem; CHAPTER III. THE FIRST-ORDER PREDICATE LOGIC: II; 3.1. Elementary Theories; 3.2. Completeness Theorems; 3.3. Further Corollaries. Decision Problem; 3.4. The First-Order Predicate Logic With Identity; 3.5. The First-Order Predicate Logic With Identity and Operation Symbols; CHAPTER IV. THE SECOND-ORDER PREDICATE LOGIC. THEORY OF DEFINITION; 4.1. Introduction; 4.2. The Second-Order Predicate Logic F2; 4.3. Second-Order Theories; 4.4. Theory of Definition; CHAPTER V. THE NATURAL NUMBERS.
|
| 505 |
8 |
|
|a 5.1. Introduction5.2. Elementary Arithmetic: The Theory N; 5.3. The Metamathematics of N; 5.4. Second-Order Arithmetic: The Theory N2; 5.5. The Metamathematics of N2; CHAPTER VI. THE REAL NUMBERS; 6.1. The Theory R; 6.2. The Metamathematics of R and of Elementary Algebra; 6.3. Second-Order Real Number Theory: The Theory R2; 6.4. The Metamathematics of R2; CHAPTER VII. AXIOMATIC SET THEORY; 7.1. Paradoxes; 7.2. The Zermelo-Fraenkel Axioms; 7.3. The Axiom of Choice; 7.4. The Metamathematics of ZF; 7.5. Strengthened Forms of ZF; CHAPTER VIIII. NCOMPLETENESS. UNDECIDABILITY; 8.1. Introduction.
|
| 505 |
8 |
|
|a 8.2. Recursive Functions and Relations. Representability8.3. Arithmetization; 8.4. Gödel's First Incompleteness Theorem; 8.5. Gödel's Second Incompleteness Theorem; 8.6. Tarski's Theorem; 8.7. Decision Problem. Church's Thesis. Recursively Enumerable Sets; 8.8. Undecidability; AUTHOR INDEX; SUBJECT INDEX.
|
| 520 |
|
|
|a Mathematical Logic and Formalized Theories.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
6 |
|a Logique symbolique et mathématique.
|
| 650 |
|
7 |
|a MATHEMATICS
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical
|2 fast
|
| 650 |
|
7 |
|a Mathematische Logik
|2 gnd
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 655 |
|
7 |
|a Formalisierte Theorie.
|2 swd
|
| 710 |
2 |
|
|a ScienceDirect (Online service)
|
| 758 |
|
|
|i has work:
|a Mathematical logic and formalized theories (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCG8hgRCGchTFwT7qw94JcP
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Rogers, Robert, 1926-
|t Mathematical logic and formalized theories
|z 0720420989
|w (OCoLC)614729662
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://www.sciencedirect.com/science/book/9780720420982
|z Connect to the full text of this electronic book
|t 0
|
| 955 |
|
|
|a Elsevier ScienceDirect 2026-2027
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
f |
f |
|i de775e8b-dcb5-4d85-a7e6-699c3447cdae
|s 3d7138c7-8bab-44fa-b84e-c72edd9b7075
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA9
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA9
|t 0
|l Available Online
|