John Newsome Crossley (ed.)
London and New York: Dover Publications (1972)
AbstractThis lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.
Similar books and articles
A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic.Alfred B. Manaster - 1975 - Englewood Cliffs, NJ, USA: Prentice-Hall.
19th Century Logic Between Philosophy and Mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Mathematical Logic and Model Theory: A Brief Introduction.A. Prestel - 2011 - Springer.
Added to PP
Historical graph of downloads
Citations of this work
Synthetic Neural Modeling and Brain-Based Devices.Gerald M. Edelman - 2006 - Biological Theory 1 (1):8-9.
The Significance of Evidence-Based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.
Three Dogmas of First-Order Logic and Some Evidence-Based Consequences for Constructive Mathematics of Differentiating Between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
References found in this work
No references found.