|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Grigori MintsPublisher: Centre for the Study of Language & Information Imprint: Centre for the Study of Language & Information Volume: 30 Dimensions: Width: 15.30cm , Height: 0.90cm , Length: 22.90cm Weight: 0.198kg ISBN: 9780937073759ISBN 10: 093707375 Pages: 110 Publication Date: 30 June 1992 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsIntroduction; 1. Classical propositional logic; 2. Classical monadic predicate logic; 3. The system S5; 4. System T; 5. System S4; 6. Hilbert-type axiomatizations; Exercises.Reviews. ..this is a book anyone familiar with modal logic will want to study... Billy Joe Lucas, Journal of Symbolic Logic Author InformationTab Content 6Author Website:Countries AvailableAll regions |