Matheo Tripnaux's Second Brain
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Schönfinkel Logic
Schönfinkel Logic
Dec 28, 2025
1 min read
First-order logic
without variables, using
combinators
.
Graph View