The classic presentation of the theory of computable functions in the context of the foundations ...

This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers...

This book is the first in the field of paraconsistency to offer a comprehensive overview of the s...

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebi...

This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers...

The volume is based on the papers that were presented at the internationalconference Model-Based ...

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph ...

This book is the first in the field of paraconsistency to offer a comprehensive overview of the s...

The ``Many Sides of Logic'' is a volume containing a selectionof the papers delivered at three si...

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebi...

First full English translation of the Portuguese-language works of W. V. Quine, one of the most i...

In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebi...