An edition of A survey of mathematical logic
(1963)
A survey of mathematical logic
by Hao Wang
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Symbolic and mathematical Logic| Edition | Availability |
|---|---|
1
A survey of mathematical logic
1963, Elsevier Science
electronic resource /
in English
0444533982 9780444533982
|
aaaa
|
Book Details
Table of Contents
Axiomatic method
Eighty years of foundational studies
On formalization
Axiomatization of arithmetic
Computation
Variant to Turing's theory of calculating machines
Universal Turing machines : an exercise in coding
Logic of automata
Toward mechanical mathematics
Circuit synthesis by solving sequential Boolean equations
Predicate calculus
Many-sorted predicate calculi
Arithmetization of metamathematics
Ackermann's consistency proof
Partial systems of number theory
Different axiom systems
Relative strength and reducibility
Truth definitions and consistency proofs
Between number theory and set theory
Some partial system
Certain predicates defined by induction schemata
Undecidable sentences suggested by semantic paradoxes
Formalization of mathematics
Some formal details on predicative set theories
Ordinal numbers and predicative set theory.
Edition Notes
Description based on print version record.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| July 7, 2019 | Created by MARC Bot | import new book |