Faites connaître cet article à vos amis:
Tools and Techniques in Modal Logic - Studies in Logic and the Foundations of Mathematics 1er édition
Kracht, M. (Freie Universitat Berlin, II. Mathematisches Institut, Berlin, Germany)
Tools and Techniques in Modal Logic - Studies in Logic and the Foundations of Mathematics 1er édition
Kracht, M. (Freie Universitat Berlin, II. Mathematisches Institut, Berlin, Germany)
Treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory. This book is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply.
576 pages, 1
Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
Validé | 17 juin 1999 |
ISBN13 | 9780444500557 |
Éditeurs | Elsevier Science & Technology |
Pages | 576 |
Dimensions | 230 × 160 × 30 mm · 1,01 kg |
Langue et grammaire | English |