Login

Granström, Johan Georg

Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory

152,50€

PDF with Adobe DRM
ISBN: 9789400717367
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: Philosophy, Epistemology, Mathematical Logic and Foundations, Logics and Meanings of Programs, Logic, History of Philosophy, Algorithms

Author(s)
Publisher
Springer
Publication year
2011
Language
en
Edition
1
Series
Logic, Epistemology, and the Unity of Science
Category
Philosophy
Format
Ebook
eISBN (PDF)
9789400717367

Similar titles