Logga in

Granström, Johan Georg

Treatise on Intuitionistic Type Theory

Granström, Johan Georg - Treatise on Intuitionistic Type Theory, e-bok

135,30€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9789400717367
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Författare
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

Liknande e-böcker