Higher-Order Logic and Type Theory

Libros

Libros similares