Logics of Time and Computation von Robert Goldblatt (Englisch) Taschenbuch
52,85 €
Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity.
Jetzt bei Ebay:
