scientific article
From MaRDI portal
Publication:3431410
zbMath1122.03009MaRDI QIDQ3431410
Publication date: 10 April 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items
Uses Software