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