scientific article; zbMATH DE number 496226

zbMath0794.03002MaRDI QIDQ4277736

M. Schönfinkel

Publication date: 8 February 1994

Full work available at URL: http://www.numdam.org/item?id=MSH_1990__112__5_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

combinatory logicelimination of variables

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) Classical propositional logic (03B05) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

This page was built for publication: