Melvin Fitting – författare

Justification Logic

Reasoning with Reasons

First-Order Logic and Automated Theorem Proving

Incompletetude Na Terra Dos Conjuntos

Numbers

Selected Topics from Contemporary Logics

First-Order Modal Logic

First-Order Modal Logic

Raymond Smullyan on Self Reference

Raymond Smullyan on Self Reference

Beyond Two: Theory and Applications of Multiple-Valued Logic