Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Boca Raton, FL :
A K Peters/CRC Press, an imprint of Taylor and Francis,
2005.
|
| Edition: | First edition. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Chapter 1 Elementary Logic
- chapter 2 Type Theory
- chapter 3 An Intensional Type Theory
- chapter 4 Recursions
- chapter 5 Choice and Function Term s
- chapter 6 Intuitionist Lo g ic
- chapter 7 Logic and M athematics
- chapter 8 Logic and Computer Science.