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
Buch:
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.)

Verlag: Universidad de Valparaiso

ISBN: 978-956-402-647-3

Datum der Publikation: 2020

Seiten: 43-64

Art: Buch-Kapitel