scientific article; zbMATH DE number 3613009

zbMATH Open0395.03013MaRDI QIDQ4177541FDOQ4177541

Authors: A. S. Kuzichev 

Publication date: 1978

Title of this publication is not available (Why is that?)

zbMATH Keywords

CompletenessCombinatory LogicLambda CalculusProof TheoryCut-EleminationFirst-Order LogicFormal ArithmeticLambda Conversion

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10) Combinatory logic and lambda calculus (03B40) Categoricity and completeness of theories (03C35) First-order arithmetic and fragments (03F30) Proof theory and constructive mathematics (03F99) Connections of number theory and logic (11U99)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4177541)