scientific article
From MaRDI portal
Publication:3214894
zbMath0272.02043MaRDI QIDQ3214894
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Combinatory logic and lambda calculus (03B40)
This page was built for publication: