scientific article
From MaRDI portal
Publication:3272468
zbMath0095.00803MaRDI QIDQ3272468
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus, Informal versus formal mathematics, The Ω-consistency of ramified analysis, The scope of Gödel's first incompleteness theorem, A new application for explanation-based generalisation within automated deduction, A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$, Completeness of the primitive recursive \(\omega \)-rule, Some problems of completeness of arithmetic, Invertible infinitary calculus without loop rules for restricted FTL
