scientific article; zbMATH DE number 7002298
From MaRDI portal
Publication:4610347
zbMath1404.03002MaRDI QIDQ4610347
Publication date: 15 January 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)