Richard L. Mendelsohn Melvin Fitting

Sale!

First-Order Modal Logic (2nd Edition)