TY  - BOOK
AU  - Ono,Hiroakira
TI  - Proof theory and algebra in logic
T2  - Short textbooks in logic,
SN  - 9789811379963
AV  - QA9.54 O57
PY  - 2019///]
CY  - Singapore
PB  - Springer
KW  - Teoría de la demostración
KW  - Lógica algebraica
ER  -