scientific article; zbMATH DE number 3111914
From MaRDI portal
Publication:5850525
zbMath0066.00805MaRDI QIDQ5850525
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I ⋮ Pedagogical second-order \(\lambda \)-calculus ⋮ Constructions and negationless logic
This page was built for publication:
