Logical frameworks for truth and abstraction an axiomatic study

Detalles Bibliográficos
Autor principal: Cantini, Andrea (-)
Formato: Libro
Idioma:Inglés
Publicado: Amsterdam [etc.] : Elsevier 1996.
Colección:Studies in Logic and the Foundations of Mathematics ; 135
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991001048169703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:XII, 461 p. ; 23 cm
Bibliografía:Bibliogr.: p. [425]-440
ISBN:9780444823069