Raymond Smullyan on Self Reference

This book is suitable for students, scholars an...

Beyond Two: Theory and Applications of Multiple-Valued Logic

This volume represents the state of the art for...

First-Order Logic and Automated Theorem Proving

There are many kinds of books on formal logic. ...

First-Order Logic and Automated Theorem Proving

There are many kinds of books on formal logic. ...

First-Order Modal Logic

This revised edition of the highly recommended ...

Justification Logic

Develops a new logic paradigm which emphasizes ...

Raymond Smullyan on Self Reference

This book collects, for the first time in one v...

Beyond Two: Theory and Applications of Multiple-Valued Logic

This volume represents the state of the art for...

First-Order Logic and Automated Theorem Proving

There are many kinds of books on formal logic. ...

Incompletetude Na Terra DOS Conjuntos

Numbers

The various number systems are usually taken fo...

Selected Topics from Contemporary Logics

Asused by professional logicians today, is th...