scientific article

zbMath0826.03001MaRDI QIDQ4000090

Gabriele Lolli

Publication date: 18 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitycompletenesspropositional logicnatural deductionresolutionPeano arithmeticlogic programminglambda calculuspredicate logicHoare logicsemantic tableaux

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items (1)

Unnamed Item

This page was built for publication: