Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema
By: Blackburn, Patrick.
Contributor(s): Rijke, Maarten de | Venema, Yde.
Material type:
BookSeries: Cambridge tracts in theoretical computer science.Publisher: Cambridge : Cambridge Univ. Press, 2002Description: 554 p. : ill.ISBN: 0521527147.Call No.:
QA9.46
B522M
Subject(s): MODALITY (LOGIC)Bibliography, etc. Note: Includes bibliographical references and index
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| Main Campus Book Shelves | QA9.46 B522M (Browse shelf) | Available | 200304010050 |
Browsing Main Campus Shelves , Shelving location: Book Shelves Close shelf browser
| QA9.2 T687L Lectures in logic and set theory. | QA9.4 P743I An introduction to non-classical logic | QA9.4 P743I An introduction to non-classical logic | QA9.46 B522M Modal logic / | QA9.54 G524M Math proofs demystified / | QA 9.54 N384 Navigating through reasoning and proof in grades 9-12 / | QA9.54 S646H How to read and do proofs : an introduction to mathematical thought process |
Includes bibliographical references and index
There are no comments for this item.