Propositional and Predicate Calculus: A Model of Argument / Edition 1

by Derek Goldrei

Overview

Designed specifically for guided independent study.

Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active participation in the development of the material.

It focuses on core material and provides a solid foundation for further study.

Product Details

ISBN-13:	9781852339210
Publisher:	Springer London
Publication date:	08/03/2005
Edition description:	2005
Pages:	315
Product dimensions:	7.44(w) x 9.69(h) x 0.02(d)

Table of Contents

Propositions and Truth Assignments.- Formal Propositional Calculus.- Predicates and Models.- Formal Predicate Calculus.- Some Uses of Compactness.

Editorial Reviews

From the reviews of the first edition:

"The aim of the present book is to give an introduction to propositional and predicate calculus which can be very useful when studying mathematical logic and many other mathematical subjects. … The book is mainly conceived for the independent study of the students … but it can also be used for taught courses. It is to be mentioned that the book includes very interesting exercises, many of them possessing full solutions." (Marius Tarnauceanu, Zentralblatt MATH, Vol. 1082, 2006)

From the Publisher