TY  - BOOK
AU  - Pym, Ritter
TI  - Reductive Logic and Proof-search
SN  - 9780191712012
PY  - 2007///
PB  - Oxford University PressOxford University Press
UR  - https://academic.oup.com/book/5589
ER  -