Compartilhar

Sinopse
Edições1
Vídeos0
Grupos0
Resenhas0
Leitores1
Similares0

Saiba mais

Quem somos Termos de uso Fale conosco Central de ajuda Privacidade

Fique por dentro

Livros em destaque

Explore

Livros Autores Editoras Leitores Cortesias

Siga nas redes sociais

Baixe o app

Edições - Type Theory and Formal Proof

Veja as edições cadastradas

Não encontrou a edição que estava procurando? Cadastre-a aqui.

1 edições|exibindo 1 a 1

book cover image

864390

ISBN-13: 9781107036505

2014

466 páginas

Rob Nederpelt, Herman Geuvers