Combinatory Logic, a deceptively simple yet profoundly powerful system, is a notation for mathematical logic that eliminates the need for variables in logica...
View in Alexandria