Un tipo de solidez para un sistema de deducción natural /

Bibliographic Details
Main Author:	Lambert Martin, William (Author, Autor/a)
Format:	Article
Language:	Spanish
Subjects:	LOGICA, SIMBOLICA Y MATEMATICA

Holdings details from Sistema de Bibliotecas de Universidad de Costa Rica
Call Number:	500
Copy	Available

Similar Items