imagem ilustrativa
Type theory and formal proof
Rob Nederpelt
Salvar edição
Compartilhar
- Editora: Cambridge University Press
- Ano: 2014
- ISBN: 9781107036505
- Type theory and formal proof

Descrição: Type Theory and Formal Proof
Descrição: Type Theory and Formal Proof