Vertel uw vrienden over dit artikel:
Proof Theory of Modal Logic - Applied Logic Series Heinrich Wansing Softcover reprint of hardcover 1st ed. 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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 9 december 2010 |
| ISBN13 | 9789048147205 |
| Uitgevers | Springer |
| Pagina's | 318 |
| Afmetingen | 155 × 235 × 17 mm · 467 g |
| Uitgever | Wansing, Heinrich |
Meer door Heinrich Wansing
Alles tonenBekijk alles van Heinrich Wansing ( bijv. Hardcover Book , Paperback Book en Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld