Search Results
AutomatedTheoremProving
FirstOrderLogic
GirardLecturesOnProofTheory
JeanYvesGirard
MathIsHard
ModelTheory
ProofTheory
TypeTheory
TypesAreTypes