Granström, Johan Georg
Treatise on Intuitionistic Type Theory
1. Prolegomena
Johan Georg Granström
2. Truth and Knowledge
Johan Georg Granström
3. The Notion of Set
Johan Georg Granström
4. Reference and Computation
Johan Georg Granström
5. Assumption and Substitution
Johan Georg Granström
6. Intuitionism
Johan Georg Granström
Nyckelord: Philosophy, Epistemology, Mathematical Logic and Foundations, Logics and Meanings of Programs, Logic, History of Philosophy, Algorithms
- Författare
- Granström, Johan Georg
- Utgivare
- Springer
- Utgivningsår
- 2011
- Språk
- en
- Utgåva
- 1
- Serie
- Logic, Epistemology, and the Unity of Science
- Sidantal
- 13 sidor
- Kategori
- Filosofi
- Format
- E-bok
- eISBN (PDF)
- 9789400717367