Melvin Fitting - Böcker

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

Beyond Two: Theory and Applications of Multiple-Valued Logic

Sets, Sequences and Mappings

The Basic Concepts of Analysis