Imagem da capa

Código QR

Treatise on Intuitionistic Type Theory

Na minha lista:

Detalhes bibliográficos
Autor principal:	Granstrm, Johan Georg
Autor Corporativo:	SpringerLink (Online service)
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Dordrecht : Springer Netherlands, 2011.
Colecção:	Logic, Epistemology, and the Unity of Science ; 22
Assuntos:	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.
Acesso em linha:	http://dx.doi.org/10.1007/978-94-007-1736-7
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Imagem da capa

Treatise on Intuitionistic Type Theory Por Granstrm, Johan Georg

Publicado em 2011.

Obter o texto integral

Recurso Electrónico livro electrónico