TY  - BOOK
AU  - Csirmaz,Laszlo
AU  - Gyenis,Zalán
TI  - Mathematical logic: exercises and solutions 
T2  - Problem books in mathematics
SN  - 9783030790097
AV  - QA9 C723
U1  - 511.3 23
PY  - 2022///]
CY  - Cham, Switzerland
PB  - Springer
KW  - Lógica simbólica y matemática
KW  - Teoría de modelos
ER  -