scientific article; zbMATH DE number 3191281
From MaRDI portal
Publication:5727665
zbMath0117.25803MaRDI QIDQ5727665
Publication date: 1964
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer), A numbers-based approach to a free particle's proper spacetime, From Hilbert's program to a logic tool box, A Shell for Generic Interactive Proof Search