scientific article
From MaRDI portal
Publication:3007266
zbMath1284.03196MaRDI QIDQ3007266
Michael Gabbay, Murdoch James Gabbay
Publication date: 21 June 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40) Basic properties of first-order languages and structures (03C07)
Related Items (1)
This page was built for publication:
