scientific article; zbMATH DE number 3280031

zbMath0175.26302MaRDI QIDQ5565082

Andrzej Grzegorczyk

Publication date: 1968

Full work available at URL: http://www.numdam.org/item?id=CM_1968__20__83_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general logic

Related Items (2)

A semantic hierarchy for intuitionistic logic ⋮ Classical, relativistic and constructivistic ways of assertion of theorems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The pure calculus of entailment

This page was built for publication: