Quantification in nonclassical logic. Volume 1 (2009)

• Record Type: Book
• Further Information: Note: D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov.
• Other Names: Gabbay, Dov M, 1945-; Shehtman, V. B (Valentin B.); Skvortsov, D. P (Dmitrij P.)
• Contents: 1.) Basic Propositional Logic; 2.) Basic Predicate Logic; 3.) Kripke Semantics; 4.) Algebraic Semantics; 5.) Metaframe Semantics; 6.) Kripke completeness for varying domains; 7.) Kripke completeness for constant domains
• Publisher Details: Amsterdam London : Elsevier
• Publication Date: 2009
• Extent: 1 online resource (1 volume), illustrations
• Subjects: 511.31; Nonclassical mathematical logic; MATHEMATICS -- Infinity; MATHEMATICS -- Logic; Nonclassical mathematical logic; Electronic books
• Languages: English
• ISBNs: 9780080931128
• Related ISBNs: 008093112X; 0444520120; 9780444520128
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.