ID: 2278
Gesloten
Systems of Formal Logic
€2,00
- Gesloten
- Aantal
- 0
€2,00
2 bekijken dit nu
112 weergaven
| Gebruiker | Prijs | Aantal | Datum |
|---|---|---|---|
| Frans_Pagen | €2,00 | 1 | 11.12.2020 22:00:47 |
Omschrijving
Systems of Formal Logic
L.H. Hackstaff
1. Introduction: Some Concepts and Definitions
2. The System P+
3. Standard Systems with Negation (P LT, P LT', P LTF, P PM)
4. The System P ND. Systems of Natural Deduction
5. The Consistency and Completeness of Formal Systems
6. Some Non-Standard Systems of Propositional Logic
7. The Lower Functional Calculus
8. An Extension of LF LT' and Some Theorems of the Higher Functional System. The Calculus of Classes
9. The Logical Paradoxes
10. Non-Standard Functional Systems
L.H. Hackstaff
1. Introduction: Some Concepts and Definitions
2. The System P+
3. Standard Systems with Negation (P LT, P LT', P LTF, P PM)
4. The System P ND. Systems of Natural Deduction
5. The Consistency and Completeness of Formal Systems
6. Some Non-Standard Systems of Propositional Logic
7. The Lower Functional Calculus
8. An Extension of LF LT' and Some Theorems of the Higher Functional System. The Calculus of Classes
9. The Logical Paradoxes
10. Non-Standard Functional Systems
Specificaties
- Auteur
- L.H. Hackstaff
- Uitgever
- D. Reidel
- Jaar
- 1966
- Druk
- -
- Aantal pagina's
- 354
- Taal
- Engels
- Doos
- 3