An Introduction to Formal Logic: Second Edition
- Určené pre študentov filozofie, matematiky, lingvistiky alebo informatiky a výborné na samoštúdium.
- Motivácia je uvedená pri každom formálnom pojme a každom kroku pri budovaní formálnej logiky z hľadiska formalizácie uvažovania. Na dôležitých miestach knihy sú uvedené zhrnutia, aby si študenti uvedomili, čo robia a kam smerujú.
- Kritériá formalizácie sú vypracované a aplikované na formalizáciu uvažovania v bežnom jazyku vo forme analýzy príkladov.
- Viac ako 300 riešených príkladov.
- Viac ako 500 cvičení s odpoveďami dostupnými na internete.
