TY  - CHAP
AU  - Manzano Arjona, María Gracia
AU  - Aranda Utrero, Víctor
A4  - Zalta, Edward 
A4  - Nodelman, Uri
PY  - 2022
SN  - 1095-5054
UR  - https://hdl.handle.net/20.500.14352/98454
AB  - Classical logic is the appropriate formal language for describing mathematical structures containing a single universe or domain of discourse. By contrast, many-sorted logic (MSL) allows quantification over a variety of domains (called sorts). For...
LA  - eng
TI  - Many-Sorted Logic
T2  - Lógica variada
TY  - book part
VL  - Winter 2022
ER  -