scientific article; zbMATH DE number 941039
From MaRDI portal
Publication:4714397
zbMath0860.03039MaRDI QIDQ4714397
Publication date: 3 November 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut eliminationsequent calculusnatural deductioncompleteness theoremlogic programmingresolution calculuselementary proof theoryelementary arithmetic without induction
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic programming (68N17) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication:
