Tableau systems for first order number theory and certain higher order theories

Detalles Bibliográficos
Autor principal: Toledo, Sue
Lenguaje:eng
Publicado: Springer 1975
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/BFb0062936
http://cds.cern.ch/record/1690891
Descripción
Descripción no disponible.

Ejemplares similares