An Introduction to Formal Logic: Second Edition
- Przeznaczony na kurs dla studentów filozofii, matematyki, lingwistyki lub informatyki, a także doskonały do samodzielnej nauki.
- Motywacja jest podana dla każdego pojęcia formalnego i każdego kroku w budowaniu logiki formalnej w kategoriach formalizacji rozumowania. Podsumowania są podawane w ważnych punktach książki, aby uczniowie byli świadomi tego, co robią i dokąd zmierzają.
- Kryteria formalizacji są rozwijane i stosowane do formalizowania rozumowań w zwykłym języku w formacie analizy przykładów.
- Ponad 300 praktycznych przykładów.
- Ponad 500 ćwiczeń z odpowiedziami dostępnymi w sieci.
