Cargando…

Types, Tableaus, and Gödel’s god

Detalles Bibliográficos
Autor principal: Fitting, Melvin
Lenguaje:eng
Publicado: Springer 2002
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-94-010-0411-4
http://cds.cern.ch/record/1619797