scientific article; zbMATH DE number 3002280
From MaRDI portal
Publication:4478834
zbMath0002.32102MaRDI QIDQ4478834
Publication date: 1931
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Unnamed Item ⋮ Gödel and Intuitionism