TY  - GEN
AU  - Harrie de Swart
TI  - Philosophical and Mathematical Logic
PY  - 2018
PB  - Springer Science+Business Media
UR  - 
ER  -