New York, NY, USA: Dover Publications (1963)
AbstractComprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
Similar books and articles
What is Mathematical Logic?John Newsome Crossley (ed.) - 1972 - London and New York: Dover Publications.
Introduction to Elementary Mathematical Logic.Abram Aronovich Stolyar - 1970 - Cambridge, MA, USA: Dover Publications.
Mathematical Logic and the Foundations of Mathematics: An Introductory Survey.G. T. Kneebone - 1963 - New York, NY, USA: Dover Publications.
Added to PP
Historical graph of downloads
Citations of this work
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.
References found in this work
No references found.