Una introducción a la equivalencia definicional y a la Morita-equivalencia en la lógica multivariada de primer orden

  1. José Javier González
Book:
El jardín de senderos que se bifurcan y confluyen: Filosofía, Lógica y Matemáticas
  1. Diego Fernandes (ed. lit.)
  2. Rodrigo López Orellana (ed. lit.)

Publisher: Universidad de Valparaiso

ISBN: 978-956-402-647-3

Year of publication: 2020

Pages: 43-64

Type: Book chapter