Mostrando 1 - 1 resultados de 1 para a busca 'Nederpelt, Rob', tempo de busca: 0.01s Refinar Resultados
  1. 1

    Type theory and formal proof an introduction por Nederpelt, Rob, Geuvers, Herman

    Publicado em 2014
    Livro

    Type theory and formal proof an introduction

Ferramentas de busca: