Mathematical Logic and Computability
1989
McGraw-Hill Inc.,US (Hersteller)
978-0-07-840027-8 (ISBN)
McGraw-Hill Inc.,US (Hersteller)
978-0-07-840027-8 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
This software, designed to accompany the text (ISBN: 0-07-033939-2), aims to allow students to grasp abstract concepts more easily through numerous examples and procedures. The book-software package provides thorough coverage of logic topics.
Propositional logic; pure predicate logic; full predicate logic; computable functions; the incompleteness theorems.
| Reihe/Serie | International Series in Pure & Applied Mathematics |
|---|---|
| Verlagsort | New York |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 0-07-840027-9 / 0078400279 |
| ISBN-13 | 978-0-07-840027-8 / 9780078400278 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
