Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Granstrom, Johan Georg.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Treatise on intuitionistic type theory by: SpringerLink (Online service); Granstrom, Johan Georg. (Language materials, printed)

Subjects

Algorithms. Epistemology. History of Philosophy. Logic. Logics and Meanings of Programs. Mathematical Logic and Foundations. Philosophy. Type theory.

Change password

Login