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...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
London :
Springer London
2005.
Cham : Springer Nature |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Propositional and Predicate Calculus: A Model of Argument, Texte imprimé, 9781852339210 • Propositional and Predicate Calculus: A Model of Argument, Texte imprimé, 9781848008267 |
Aurkibidea:
- Propositions and Truth Assignments
- Formal Propositional Calculus
- Predicates and Models
- Formal Predicate Calculus
- Some Uses of Compactness.