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: Granstrom, Johan Georg.; SpringerLink (Online service) (Electronic resources)

Subjects

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

Change password

Login