Libros
Labelled deductive systems

Labelled deductive systems

Dov M. Gabbay
1996
Género: Logic


Añadir a mi colección

Formato