Type theory and formal proof

Rob Nederpelt

Salvar edição
Ler sinopse completa
Type Theory and Formal Proof

Type Theory and Formal Proof

Rob Nederpelt | 2014

Descrição: Type Theory and Formal Proof

Veja as outras undefined ofertas de novos deste livro: