Omslagsbillede
QR Code

Treatise on Intuitionistic Type Theory

Show other versions (1)
Saved in:
Hovedforfatter: Granstrm, Johan Georg
Institution som forfatter: SpringerLink (Online service)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Dordrecht : Springer Netherlands, 2011.
Serier:Logic, Epistemology, and the Unity of Science ; 22
Fag:
Philosophy (General).
Genetic epistemology.
Logic.
Logic design.
Algorithms.
Logic, Symbolic and mathematical.
Philosophy.
Epistemology.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
History of Philosophy.
Online adgang:http://dx.doi.org/10.1007/978-94-007-1736-7
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker: Treatise on Intuitionistic Type Theory

Lignende værker