TY  - GEN
T1  - The functional interpretation of logical deduction
DA  - c2012.
CY  - Singapore :
AU  - Queiroz, Ruy J. G. B. de.
AU  - Oliveira, Anjolina G. de.
AU  - Gabbay, Dov M.,
VL  - v. 5
CN  - BC71
PB  - World Scientific,
PP  - Singapore :
PY  - c2012.
ID  - 701816
KW  - Logic.
KW  - Modality (Logic)
TI  - The functional interpretation of logical deduction
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10529392
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10529392
ER  -