Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
London :
Springer London : Imprint: Springer,
2005.
|
| Édition: | 1st ed. 2005. |
| Sujets: | |
| Accès en ligne: | Texto Completo |