TY  - DATA
AU  - Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
TI  - Kripke’s Worlds
SN  - 9783764385040
PY  - 2014///
PB  - Springer Basel
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-3-7643-8504-0
ER  -