Menu

Über das Projekt

Bibliographie

Publikationen
Sekundar Literatur

Zeittafel

Forschung

Personen
Events

Bühleriana

Login

karl bühler digital

Home > Personen > Profile

Profil Publikationen

Johan G. Granström

1 Publikationen

Treatise on intuitionistic type theory

Johan G. Granström

Springer - Berlin

2011

1 Publikationen

This website is powered by sdvig press, a not-for-profit association based in Geneva, Switzerland

Except for all images and where otherwise noted, contents are available under the Creative Commons Attribution License 4.0

Hendrik, the underlying database of this website, is available under the Open Database License 1.0

Terms & Conditions
About
Contact

We log anonymised, publically available usage statistics with Matomo

© 2015-2025 sdvig press