TY  - DATA
AU  - Sergei Artemov-Melvin Fitting
TI  - Justification Logic
T2  - Cambridge Tracts in Mathematics
SN  - 9781108424912
PB  - Cambridge University Press
KW  -  Logic
KW  - Inquiry (Theory of knowledge),Logic--Symbolic and mathematical.,Reasoning.,Science--Theory reduction
KW  - MATHEMATICS
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=2091112
ER  -