scientific article
From MaRDI portal
Publication:3838112
zbMath0896.03006MaRDI QIDQ3838112
No author found.
Publication date: 5 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)
Related Items (3)
J-Calc: a typed lambda calculus for intuitionistic justification logic ⋮ Automated mutual induction proof in separation logic ⋮ Computational mechanics of input-output processes: structured transformations and the \(\epsilon\)-transducer
This page was built for publication:
