scientific article; zbMATH DE number 3613008

MaRDI QIDQ4177540zbMATH OpenFDO

Authors A. S. Kuzichev

Publication date 1978

zbMATH Keywords

Combinatory LogicCompletenessCut-EleminationFirst-Order LogicFormal ArithmeticLambda CalculusLambda ConversionProof Theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Combinatory logic and lambda calculus (03B40) Categoricity and completeness of theories (03C35) Cut-elimination and normal-form theorems (03F05) 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 Q4177540)