Deutsche Gesellschaft
für phänomenologische Forschung

Buch

COPR Bookmark Link
187970

Treatise on intuitionistic type theory

Johan G. Granström

Details | Inhaltsverzeichnis

Prolegomena Johan G. Granström

pp.1-11

https://doi.org/10.1007/978-94-007-1736-7_1
Truth and knowledge Johan G. Granström

pp.13-51

https://doi.org/10.1007/978-94-007-1736-7_2
The notion of set Johan G. Granström

pp.53-76

https://doi.org/10.1007/978-94-007-1736-7_3
Reference and computation Johan G. Granström

pp.77-106

https://doi.org/10.1007/978-94-007-1736-7_4
Assumption and substitution Johan G. Granström

pp.107-154

https://doi.org/10.1007/978-94-007-1736-7_5
Intuitionism Johan G. Granström

pp.155-173

https://doi.org/10.1007/978-94-007-1736-7_6

Publication details

Publisher: Springer

Ort: Dordrecht

Year: 2011

Seiten: 196

ISBN (hardback): 978-94-007-1735-0

ISBN (digital): 978-94-007-1736-7

Referenz:

Granström Johan G. (2011) Treatise on intuitionistic type theory. Dordrecht, Springer.