|
|
Treatise on Intuitionistic Type Theory
Aus dem Inhalt:
Contents.- List of Figures.- List of Tables.- Introduction.- Chapter I. Prolegomena. 1. A treefold correspondence.- 2. The acts of the mind.- 3. The principle of compositionality.- 4.... |
 |
|
|
| Download PDF |
| Treatise on Intuitionistic Type Theory |
|
