Clase 14 meta análisis
Apache Spark and the Emerging Technology Landscape for Big Data
Putnam, Hilary - Craig's Theorem.pdf
Semántica formal y lógica. van Fraassen
Raymond M. Smullyan - Analytic Natural Deduction 1965
Introduction to Forking
RaaS .
Reduction of Interpolants for Logic Synthesis
what is said to be
Logic, Metalogic and Neutrality