Faites connaître cet article à vos amis:
Proof Theory of Modal Logic - Applied Logic Series Heinrich Wansing 1996 edition
Proof Theory of Modal Logic - Applied Logic Series
Heinrich Wansing
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
318 pages, biography
| Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
| Validé | 31 octobre 1996 |
| ISBN13 | 9780792341208 |
| Éditeurs | Springer |
| Pages | 318 |
| Dimensions | 155 × 235 × 19 mm · 644 g |
| Langue et grammaire | Anglais |
| Éditeur | Wansing, Heinrich |
Plus par Heinrich Wansing
Afficher toutVoir tous les Heinrich Wansing ( par ex. Hardcover Book , Paperback Book et Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier