Symbolic logic
Symbolsk logikk
Humord
Kombinatorisk logikk er en form for notasjon i matematikk oppfunnet av Moses Schönfinkel med fordypning av Haskell Curry. <wikipedia>
Lukket bemerkning: ubo24
Kombinatorisk logikk
Combinatorial logic
Innholdsbeskrivende emne
Topic