Un cálculo deductivo para la lógica de segundo orden

Bibliographic Details
Main Author: Mosterín, Jesús, 1941-2017 (-)
Format: Book
Language:Castellano
Published: Valencia : Revista Teorema 1979.
Series:Cuadernos Teorema ; 51
Subjects:
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991002127399703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email
Description
Physical Description:VIII, 40 p. ; 19 cm
Bibliography:Bibliogr.
ISBN:9788437001005