Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.

Logic, Symbolic and mathematical. --- Decidability (Mathematical logic) --- Computable functions --- Gödel's theorem --- Logic, Symbolic and mathematical --- Recursive functions --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical. --- 681.3*F3 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logique symbolique et mathématique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, symbolic and mathematical --- Logic, Symbolic and mathematical. --- Gödel, Kurt, --- Mathematical logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- #WWIS:didaktiek --- Gödel, Kurt --- Gödel, Kurt --- Written works. --- Oeuvres --- Écrits. --- Logic, symbolic and mathematical. --- Logique symbolique et mathématique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory. This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as

Mathematical logic --- Model theory. --- Logic, Symbolic and mathematical. --- Model theory --- Théorie des modèles --- ELSEVIER-B EPUB-LIV-FT --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Metaphysics --- Wittgenstein, Ludwig J.J. --- 1 WITTGENSTEIN, LUDWIG --- Language and languages --- -Logic, Symbolic and mathematical --- God --- Ontology --- Philosophy --- Philosophy of mind --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Foreign languages --- Languages --- Anthropology --- Communication --- Ethnology --- Information theory --- Meaning (Psychology) --- Philology --- Linguistics --- Filosofie. Psychologie--WITTGENSTEIN, LUDWIG --- Wittgenstein, Ludwig --- 1 WITTGENSTEIN, LUDWIG Filosofie. Psychologie--WITTGENSTEIN, LUDWIG --- Logic, Symbolic and mathematical --- Wittgenstein, Ludwig,