Cover Image

Elements of Logic via Numbers and Sets /

In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to...

Full description

Bibliographic Details
Main Author:	Johnson, D. L.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 1998.
Series:	Springer undergraduate mathematics series.
Subjects:	Mathematics. Logic, Symbolic and mathematical. Number theory. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logical Number Theory I : an Introduction /
by: Smoryński, C.
Published: (1991)

Foundations of Logic and Mathematics : Applications to Computer Science and Cryptography /
by: Nievergelt, Yves
Published: (2002)

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

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

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

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

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

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

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

Set Theory of the Continuum /
by: Judah, H. (Haim)
Published: (1992)

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

Notes on Set Theory /
by: Moschovakis, Yiannis N.
Published: (1994)

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

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

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

Sets, Logic and Categories /
by: Cameron, Peter J.
Published: (1998)

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

Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables /
by: Li, Shoumei
Published: (2002)

Zermelo's Axiom of Choice : Its Origins, Development, and Influence /
by: Moore, Gregory H.
Published: (1982)

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

Mathematical Aspects of Scientific Software /
by: Rice, J. R.
Published: (1988)

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

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

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

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

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

Complexity and Real Computation /
by: Blum, Lenore
Published: (1998)

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)

Classical Descriptive Set Theory /
by: Kechris, Alexander S.
Published: (1995)

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

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

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

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

Mathematical Logic /
by: Petkov, Petio Petrov
Published: (1990)

Logic, Language, and Probability : a Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971 /
by: Bogdan, Radu J.
Published: (1973)

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

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

Fuzzy Logic for Planning and Decision Making /
by: Lootsma, Freerk A.
Published: (1997)

Computation, Logic, Philosophy : a Collection of Essays /
by: Wang, Hao
Published: (1989)