The Gallery
Combinatory logic
Frederic Fitch
Raymond Smullyan
Moses Schönfinkel
1
