kombinatorisk logik
Kombinatorisk logik, skabt af den russisk-ukrainske matematiker Moses Schönfinkel (1889-ca. 1942) i 1924 og især videreudviklet af H.B. Curry. Grundtanken i denne type logik er at reducere antallet af logiske operationer til så få som muligt og undgå