TY  - BOOK
TI  - Reductive logic and proof-search
SN  - 9780191712012 (ebook) : | 0191712019 (ebook) :
PY  - 2004///
CY  - Oxford
PB  - Clarendon
UR  - http://dx.doi.org/10.1093/acprof:oso/9780198526339.001.0001
ER  -