Libros
📚

Proof, Logic and Formalization

Michael Detlefsen
1992
Páginas: 256
Género: Proof theory


Añadir a mi colección

Formato