Una traducción de la teoría de tipos proposicional (PTT) a la lógica multivariada de primer orden (MSL)

• Autores: José Javier González López
• Localización: Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Salamanca, 16-19 de noviembre de 2021 / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Ana Cuevas Badallo (dir. congr.), Obdulia M. Torres González (dir. congr.), Víctor Aranda (dir. congr.), Andrei Moldovan (dir. congr.), 2021, ISBN 978-84-09-35510-5, págs. 63-64
• Idioma: español
• Enlaces
  • Texto Completo Libro (pdf)