Treatise on intuitionistic type theory

Granström Johan G.

Buch

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

Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496

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.