
Deduction - Bonevac, Daniel (University of Texas, Austin)
Růst ceny o 1 %
Nejnižší cena od 10. 9. 2026: 1 174 Kč.
O produktu
Offers a presentation of classical first-order logic. This book presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
Tip: Podívejte se také na další produkty z kategorie Matematické základy.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9780631227137
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?











