Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and En
212,16 €
Introduction: Prerequisites. - Sentential Logic. - Modal and Intuitionistic Logics. - Logics for programs and knowledge. - Beyond FO within SO. The book gives all interested in computer science, a deep review of relevant aspects of logic.
Jetzt bei Ebay: