Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Subjects
Symbolic and mathematical LogicShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
A survey of mathematical logic
1963, Elsevier Science
electronic resource /
in English
0444533982 9780444533982
|
aaaa
Libraries near you:
WorldCat
|
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
External Links
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 7, 2019
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 7, 2019 | Created by MARC Bot | Imported from Internet Archive item record |