scientific article; zbMATH DE number 3613008
From MaRDI portal
Publication:4177540
zbMath0395.03012MaRDI QIDQ4177540
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CompletenessProof TheoryLambda CalculusCombinatory LogicCut-EleminationFirst-Order LogicFormal ArithmeticLambda Conversion
Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Combinatory logic and lambda calculus (03B40) Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99) Connections of number theory and logic (11U99)