Reiterman‘s theorem for pseudovarieties

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Tommaso Moraschini i Rostislav Horcik

Detalles Bibliográficos
Autor: Liberal Grana, Ion Mikel
Tipo de recurso: tesis de maestría
Fecha de publicación:2024
País:España
Institución:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/215302
Acceso en línea:https://hdl.handle.net/2445/215302
Access Level:acceso abierto
Palabra clave:Lògica matemàtica
Varietats algebraiques
Treballs de fi de màster
Mathematical logic
Algebraic varieties
Master's thesis
Descripción
Sumario:Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Tommaso Moraschini i Rostislav Horcik