Higher-Order Logic and Type Theory

Livros

Livros semelhantes