Q4714397
type: Item
instance of: scholarly article
zbMATH Open document ID: 0860.03039
author: Lutz Heindorf
publication date: 1996-11-03T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 941039
zbMATH Keywords: elementary proof theory
zbMATH Keywords: natural deduction
zbMATH Keywords: sequent calculus
zbMATH Keywords: completeness theorem
zbMATH Keywords: cut elimination
zbMATH Keywords: elementary arithmetic without induction
zbMATH Keywords: resolution calculus
zbMATH Keywords: logic programming
MaRDI profile type: Publication
Recommended article: Q3138826
Recommended article: Q4716271
Recommended article: Q3081620
Recommended article: Q5435631
Recommended article: Elementary descent recursion and proof theory
Recommended article: Q4215630
Recommended article: Proof Theory in Philosophy of Mathematics
Recommended article: Q4499084
Recommended article: Q4357068
description: scientific article; zbMATH DE number 941039