scientific article; zbMATH DE number 3557750

zbMATH Open0358.02028MaRDI QIDQ4133600FDOQ4133600

Authors: A. S. Kuzichev 

Publication date: 1976

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

Recommendations

• scientific article; zbMATH DE number 851066
• scientific article; zbMATH DE number 3878896
• Two extensions of the structurally free logic LC
• scientific article; zbMATH DE number 1302066
• Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (4)

• Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I
• Title not available (Why is that?)
• A conservative extension of a formal arithmetic
• Title not available (Why is that?)

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 Q4133600)