| Description |
xvi, 638 pages ; 24 cm |
| Contents |
Machine derived contents note: 1. Formal Systems; 2. Propositional calculi; 3. Predicate calculi; 4. A complete, decidable arithmetic; 5. Aoo -Definable functions; 6. A complete, undecidable arithmetic; 7. Ao- Definable functions; 8. An incomplete undecidable arithmetic; 9. A-Definable sets of lattice points; 10. Induction |
| Analysis |
Mathematical logic |
| Notes |
Bibliography: p. 621-630 |
| Bibliography |
Bibliography: pages 621-630 |
| Subject |
Logic, Symbolic and mathematical.
|
|
Numbers, Natural.
|
| LC no. |
77152636 |
| ISBN |
0521080533 |
|
