Sistemas deductivos tipo Gentzen : problemas de lógica de primer orden

Bibliographic Details
Main Author: Marraud González, Humberto (-)
Other Authors: Navarro, P.
Format: Book
Language:Castellano
Published: Madrid : Universidad Autónoma 1988.
Series:Cuadernos de Apoyo ; 7
Subjects:
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991003303159703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Physical Description:88 p. ; 21 cm
ISBN:9788474771350