1. Introduction to mathematics of satisfiability. (©2009) Other Names: Marek, Wiktor Record Type: Book Extent: 1 online resource (xiii, 350 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Quantification in nonclassical logic. Volume 1 (2009) Other Names: Gabbay, Dov M, 1945-; Shehtman, V. B (Valentin B.); Skvortsov, D. P (Dmitrij P.) Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗