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." "This book is designed for self-study by students, as well as fo...
Main Author: | Goldrei, Derek. |
---|---|
Other Authors: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
London :
Springer,
©2005.
London : [2005] |
Physical Description: |
1 online resource (vi, 315 pages) : illustrations. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |