 |
Ono, Hiroakira Proof theory and algebra in logic Singapore : Springer, 2019. viii, 160 p. -- (Short textbooks in logic) QA9.54 O57 |
| |
Ono, Hiroakira Proof theory and algebra in logic Singapore : Springer, 2019. viii, 160 p. -- (Short textbooks in logic) QA9.54 O57 |