scientific article
From MaRDI portal
Publication:3136460
zbMath0777.00008MaRDI QIDQ3136460
No author found.
Publication date: 3 October 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY ⋮ Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \) ⋮ Cutting planes, connectivity, and threshold logic ⋮ \(\text{Count}(q)\) does not imply \(\text{Count}(p)\) ⋮ Petr Hájek: A Scientific Biography ⋮ Nondeterministic stack register machines ⋮ Towards NP-P via proof complexity and search ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ Where pigeonhole principles meet Koenig lemmas ⋮ Translation of resolution proofs into short first-order proofs without choice axioms ⋮ Real closed fields and models of Peano arithmetic ⋮ Von Neumann, Gödel and Complexity Theory ⋮ \(k\)-provability in \(\mathrm{PA}\) ⋮ Models of true arithmetic are integer parts of models of real exponentation ⋮ Frege proof system and TNC°
