Sisäänkirjautuminen

Granström, Johan Georg

Treatise on Intuitionistic Type Theory

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

135,30€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9789400717367
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

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

Tekijä(t)
Julkaisija
Springer
Julkaisuvuosi
2011
Kieli
en
Painos
1
Sarja
Logic, Epistemology, and the Unity of Science
Sivumäärä
13 sivua
Kategoria
Filosofia
Tiedostomuoto
E-kirja
eISBN (PDF)
9789400717367

Samankaltaisia e-kirjoja