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 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
The Future of Post-Human Mathematical Logic
The Fundamental Theorem of World Theory
The Foundations: Logic and Proofs - UTH e
The Foundations: Logic and Proofs
The Foundations: Logic and Proofs
The Foundations: Logic and Proof
The Foundations
The Foundations
The Foundations
The Formulae-as-Classes Interpretation of Constructive Set Theory
