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

Éditorial: Universidad de Valparaiso

ISBN: 978-956-402-647-3

Année de publication: 2020

Pages: 43-64

Type: Chapitre d'ouvrage