The Model-Theoretic Ordinal Analysis of Theories of Predicative
THE MODEL CHECKING PROBLEM FOR INTUITIONISTIC
THE MODAL LOGIC OF INNER MODELS §1. Introduction. In [10, 11
The modal logic of equilibrium models
The Logical Syntax of Language
THE LOGIC OF QUANTIFIED STATEMENTS
The Logic of Provability
The logic of negationless mathematics
The Logic of Conditionals
The Logic of Compound Statements
The Logic of Atomic Sentences
The logic and mathematics of occasion sentences
The Liar Paradox: A Consistent and Semantically Closed Solution
The language and symbols of math.
The King of France is, in fact, bald
The Journal of Functional and Logic Programming The MIT Press
The initial question: “What is the meaning of a first
THE HITCHHIKER`S GUIDE TO THE INCOMPLETENESS
THE HISTORY OF LOGIC
The History of Categorical Logic
