Logo

Logic For Everyone by Robert A. Herrmann

Logic For Everyone
by


Number of pages: 124

Description:
This is an elementary book in Mathematical Logic that also covers all of the basic material in the propositional and predicate calculus. It is the result of the U. S. Naval Academy Mathematical Logic Course Project. Both the propositional and predicate calculus are presented in a unique manner. Enough material is covered so that certain topics in elementary model theory can be included and all mathematical proofs are of the most elementary nature requiring no specialized mathematical procedures. The propositional calculus is expanded considerably and many of the proof methods are used to establish the predicate calculus results. Consequnce operators are also introduced.

Home page url

Download or read it online for free here:
Download link
(1MB, PDF)

Similar books

Book cover: Lectures on Linear LogicLectures on Linear Logic
by - CSLI
This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
(13327 views)
Book cover: Algebraic LogicAlgebraic Logic
by
Part I of the book studies algebras which are relevant to logic. Part II deals with the methodology of solving logic problems by (i) translating them to algebra, (ii) solving the algebraic problem, and (iii) translating the result back to logic.
(18295 views)
Book cover: Intuitionistic LogicIntuitionistic Logic
by - Universiteit van Amsterdam
In this course we give an introduction to intuitionistic logic. We concentrate on the propositional calculus mostly, make some minor excursions to the predicate calculus and to the use of intuitionistic logic in intuitionistic formal systems.
(14681 views)
Book cover: The Algebra of LogicThe Algebra of Logic
by - Project Gutenberg
Mathematical Logic is a necessary preliminary to logical Mathematics. The present work is concerned with the 'calculus ratiocinator' aspect, and shows, in an admirably succinct form, the beauty of the calculus of logic regarded as an algebra.
(13344 views)