scientific article
From MaRDI portal
Publication:3804236
zbMath0656.68103MaRDI QIDQ3804236
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication: