Oct 23, 2026, 2:27 AMTIL about the Bernays-Schonfinkel class. What I didn't learn is what Moses Schonfinkel had to do with it - I know of him only by way of the combinator calculus.
Any #logic people able to enlighten me?
- Oct 23, 2026, 2:27 AM
Oct 23, 2026, 2:27 AMTIL about the Bernays-Schonfinkel class. What I didn't learn is what Moses Schonfinkel had to do with it - I know of him only by way of the combinator calculus.
Any #logic people able to enlighten me?