scientific article; zbMATH DE number 3089082
From MaRDI portal
Publication:5827946
zbMath0056.00801MaRDI QIDQ5827946
Publication date: 1954
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Replacement in logic ⋮ Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I ⋮ On disjunctions and existential statements in intuitionistic systems of logic
This page was built for publication:
