Prelogic of logoi

DOI10.1007/BF02282484zbMATH Open0346.02015MaRDI QIDQ1233435

Marcel Crabbé

Publication date: 1976

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)

Cites Work

• Combinators, \(\lambda\)-terms and proof theory
• Title not available (Why is that?)
• Title not available (Why is that?)

Related Items (1)

Axiomatisation of substitution

This page was built for publication: Prelogic of logoi

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