The Mechanism and Freedom of Logic
Изчерпано количество
Продуктът не е наличен
Запиши се за известие при зареждане
Uses the computer language Prolog to teach a full formal predicate logic. Readers are intended to learn enough Prolog to use it to examine the formal system of logic, and vice versa, so that the major fundamental theorems of logic can be demonstrated.
Информация за "The Mechanism and Freedom of Logic"
- SKU 9780819189646
- Weight 0.454000
- ISBN 9780819189646
- Вид корица Paperback / softback
- Издателство University Press of America
- Брой страници 242
The information below is required for social login