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
The Herbrand Manifesto
The greatest common divisor: a case study for program extraction
The Gödelian inferences - University of Notre Dame
The Gettysburg Address
