A mostrar 1 - 1 resultados de 1 para a pesquisa 'Nederpelt, Rob', tempo de pesquisa: 0.01seg 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 pesquisa: