Buscar
Mostrando ítems 1-1 de 1
Artículo
Tablas semánticas y metalógica: (El caso de la lógica de segundo orden)
(Universidad Autónoma Nacional de México, 1999-12)
Beth's method of semantic tableaux has been utilized in first order logic to obtain some results. From a metalogical point of view, a known result can be proved: completeness of first order logic. Can we extend this method ...