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)

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

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

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

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

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

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

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

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

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

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

Closure Spaces and Logic /
by: Martin, Norman M.
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)

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

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

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

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

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

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

Fuzzy Logic and Soft Computing /
by: Chen, Guoqing
Published: (1999)

Resolution Proof Systems : An Algebraic Theory /
by: Stachniak, Zbigniew
Published: (1996)

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

Protoalgebraic Logics /
by: Czelakowski, Janusz
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)

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

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

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)

Nonmonotonic Logic : Context-Dependent Reasoning /
by: Marek, V. Wiktor
Published: (1993)

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

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

Mathematical Logic : an Introduction to Model Theory /
by: Lightstone, A. H.
Published: (1978)

Mathematical Logic /
by: Ebbinghaus, H.-D
Published: (1994)

Fuzzy Logic in Management /
by: Carlsson, Christer
Published: (2004)

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

An Introduction to Fuzzy Logic Applications in Intelligent Systems /
by: Yager, Ronald R.
Published: (1992)

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

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)