Cover Image

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof /

In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, comp...

Full description

Bibliographic Details
Main Author:	Andrews, Peter B.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2002.
Edition:	Second edition.
Series:	Applied logic series ; 27.
Subjects:	Mathematics. Logic. Electronic data processing. Artificial intelligence. Logic, Symbolic and mathematical. Computational linguistics. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Mathematical Principles of Fuzzy Logic /
by: Novák, Vilém, 1951-
Published: (1999)

Fuzzy Logic : Mathematical Tools for Approximate Reasoning /
by: Gerla, Giangiacomo
Published: (2001)

Philosophical Logic in Poland /
by: Woleński, Jan
Published: (1994)

Computer Algebra : Symbolic and Algebraic Computation /
by: Buchberger, Bruno
Published: (1983)

Fuzzy Logic Foundations and Industrial Applications /
by: Ruan, Da
Published: (1996)

Language, Truth and Logic in Mathematics /
by: Hintikka, Jaakko
Published: (1998)

Problems in set theory, mathematical logic and the theory of algorithms /
by: Lavrov, I. (Igor' Andreevich)
Published: (2003)

Inconsistent Mathematics /
by: Mortensen, Chris
Published: (1995)

Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering /
by: Angstenberger, Larisa
Published: (2001)

Vaguely Defined Objects : Representations, Fuzzy Sets and Nonclassical Cardinality Theory /
by: Wygralak, Maciej
Published: (1996)

Fuzzy Relation Equations and Their Applications to Knowledge Engineering /
by: Nola, Antonio
Published: (1989)

Fuzzy Databases : Principles and Applications /
by: Petry, Fred
Published: (1996)

Introduction to Mathematical Structures and Proofs /
by: Gerstein, Larry J.
Published: (1996)

Non-Classical Logics and their Applications to Fuzzy Subsets : A Handbook of the Mathematical Foundations of Fuzzy Set Theory /
by: Höhle, Ulrich
Published: (1995)

Closure Spaces and Logic /
by: Martin, Norman M.
Published: (1996)

Fuzzy Set Theory : Basic Concepts, Techniques and Bibliography /
by: Lowen, R.
Published: (1996)

Fuzzy Set Theory-and Its Applications /
by: Zimmermann, H. J.
Published: (1996)

Introduction to Fuzzy Reliability /
by: Cai, Kai-Yuan
Published: (1996)

Automated Mathematical Induction /
by: Zhang, H. (Hantao)
Published: (1996)

Philosophy of Mathematics Today /
by: Agazzi, Evandro
Published: (1997)

Algorithms: Main Ideas and Applications /
by: Uspensky, Vladimir
Published: (1993)

Mathematical Logic and Its Applications /
by: Skordev, Dimitŭr Genchev
Published: (1988)

Internal Logic : Foundations of Mathematics from Kronecker to Hilbert /
by: Gauthier, Yvon
Published: (2002)

Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum : Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 /
by: Schuster, Peter
Published: (2001)

Hermann Günther Gra€mann (1809-1877): Visionary Mathematician, Scientist and Neohumanist Scholar : Papers from a Sesquicentennial Conference /
by: Schubring, Gert
Published: (1996)

Handbook of Logic and Proof Techniques for Computer Science /
by: Krantz, Steven G.
Published: (2002)

Ideals, Varieties, and Algorithms : an Introduction to Computational Algebraic Geometry and Commutative Algebra /
by: Cox, David
Published: (1997)

An Outline of Set Theory /
by: Henle, James M.
Published: (1986)

Logic and Structure /
by: Dalen, Dirk
Published: (1980)

Introduction to Axiomatic Set Theory /
by: Takeuti, Gaisi
Published: (1982)

A Course in Model Theory : an Introduction to Contemporary Mathematical Logic /
by: Poizat, Bruno
Published: (2000)

Advances in Fuzzy Sets, Possibility Theory, and Applications /
by: Wang, Paul P.
Published: (1983)

Algebra for Computer Science /
by: Gårding, Lars
Published: (1988)

Perspectives of Elementary Mathematics /
by: Hochschild, Gerhard P.
Published: (1983)

Logic and Structure /
by: Dalen, Dirk
Published: (1994)

Lectures on Boolean Algebras /
by: Halmos, Paul R.
Published: (1974)

Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
by: Malitz, Jerome, 1936-
Published: (1979)

The Joy of Sets : Fundamentals of Contemporary Set Theory /
by: Devlin, Keith J.
Published: (1993)

Foundations of Constructive Mathematics : Metamathematical Studies /
by: Beeson, Michael J.
Published: (1985)

Self-Reference and Modal Logic /
by: Smoryński, C.
Published: (1985)