Jaakko Hintikka - A Revolution in the Foundations of Mathematics 1997
Intersections: Where Art and Science Meet Bach "The Musical Offering recursion in music", Escher "recursion in art", Gödel "incompleteness requires recursion,"
Why machines can't think (logically)
Scan10
First Order Logic
Axiom of Regularity
Reverse Mathematics
Perfect Set
Ur Element
Direct Proof
Lesson 1. Introduction to Structural Analysis.pdf
Zeroth Order Logic
