Kirjat Melvin Fitting
First-Order Logic and Automated Theorem Proving
-25% koodilla BOOKS
Toimittajalla varastossa
Justification Logic
Melvin Fitting, Sergei Artemov
-25% koodilla BOOKS
Toimittajalla varastossa
First-Order Modal Logic
Richard L. Mendelsohn, Melvin Fitting
-25% koodilla BOOKS
Toimittajalla varastossa
First-Order Modal Logic
Richard L. Mendelsohn, Melvin Fitting
-25% koodilla BOOKS
Toimittajalla varastossa
Raymond Smullyan on Self Reference
-25% koodilla BOOKS
Toimittajalla varastossa
Beyond Two: Theory and Applications of Multiple-Valued Logic
-25% koodilla BOOKS
Toimittajalla varastossa