Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 115 of 134
Treatise on Intuitionistic Type Theory Cover Image E-book E-book

Treatise on Intuitionistic Type Theory

Granström, Johan Georg. (Author). Granström, Johan Georg. (Added Author). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9789400717367
  • Physical Description: XIII, 196p. digital.
  • Publisher: Dordrecht : Springer Netherlands, 2011.

Search for related items by subject

Subject: Philosophy (General).
Genetic epistemology.
Logic.
Logic design.
Algorithms.
Logic, Symbolic and mathematical.
Philosophy.
Epistemology.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Logic.
History of Philosophy.
Algorithms.

Search for related items by series

Electronic resources

Texto Completo

Back To Results
Showing Item 115 of 134

Additional Resources