TY  - BOOK
AU  - Melvin Fitting, Richard L. Mendelsohn
TI  - First-Order Modal Logic
SN  - 978-3-031-40714-7
PB  - Springer
KW  - Philosophy
UR  - https://doi.org/10.1007/978-3-031-40714-7
ER  -