A survey of mathematical logic
By: edited by Hao Wang
Series: Studies in Logic and the Foundations of Mathematics -- v. 33; Studies in logic and the foundations of mathematics -- v. 33.
Publisher: Elsevier Science
Published: 1963
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] /
Number of pages: 651
ISBN-13: 9780444533982
Subjects: Symbolic and mathematical Logic
Notes: Description based on print version record.
Table of contents: title: Axiomatic method; title: Eighty years of foundational studies; title: On formalization; title: Axiomatization of arithmetic; title: Computation; title: Variant to Turing's theory of calculating machines; title: Universal Turing machines : an exercise in coding; title: Logic of automata; title: Toward mechanical mathematics; title: Circuit synthesis by solving sequential Boolean equations; title: Predicate calculus; title: Many-sorted predicate calculi; title: Arithmetization of metamathematics; title: Ackermann's consistency proof; title: Partial systems of number theory; title: Different axiom systems; title: Relative strength and reducibility; title: Truth definitions and consistency proofs; title: Between number theory and set theory; title: Some partial system; title: Certain predicates defined by induction schemata; title: Undecidable sentences suggested by semantic paradoxes; title: Formalization of mathematics; title: Some formal details on predicative set theories; title: Ordinal numbers and predicative set theory.