TY  - GEN
T1  - In the light of logic
T2  - Logic and computation in philosophy.
A1  - Feferman, Solomon.
LA  - English
PP  - New York
PB  - Oxford University Press
YR  - 1998
UL  - https://colectivo.uloyola.es/Record/ELB168456
OP  - 340
CN  - QA9.2 .F44 1998
SN  - 9780195359831
KW  - Logic, Symbolic and mathematical.
KW  - Mathematics.
KW  - Electronic books.
ER  -