Goodreads helps you keep track of books you want to read.

Start by marking “Propositional And Predicate Calculus: A Model Of Argument” as Want to Read:

# Propositional And Predicate Calculus: A Model Of Argument

At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include:

the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false in a mathemat ...more

the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false in a mathemat ...more

Paperback

Published
September 8th 2005
by Springer
(first published August 3rd 2005)

## Friend Reviews

To see what your friends thought of this book,
please sign up.

## Reader Q&A

To ask other readers questions about
Propositional And Predicate Calculus,
please sign up.

Be the first to ask a question about Propositional And Predicate Calculus

This book is not yet featured on Listopia.
Add this book to your favorite list »

There are no discussion topics on this book yet.
Be the first to start one »