Ocena:

Obecnie brak opinii czytelników. Ocena opiera się na 10 głosach.
Formal Logic
Tekst licencjacki odpowiedni dla kursów logiki symbolicznej.
Tytuł ten obejmuje logikę funkcyjną i kwantyfikatorową, a także podstawy bardziej zaawansowanych tematów, takich jak teoria zbiorów i logika modalna. Złożone koncepcje są wyjaśnione prostym językiem, który nie zakłada żadnego doświadczenia w logice lub matematyce, a strategie wyprowadzania są zilustrowane przykładami.