A finitary treatment of the closed fragment of Japaridzes provability logic von Beklemishev, Lev D. 1967-, Joosten, Joost J.

On the limit existence principles in elementary arithmetic and related topics von Beklemishev, Lev D. 1967-, Visser, Albert

Reflection principles and provability algebras in formal arithmetic von Beklemishev, Lev D. 1967-

A finitary treatment of the closed fragment of Japaridze's provability logic von Beklemishev, Lev D. 1967-, Joosten, Joost J., Vervoort, Marc 1969-

The worm principle von Beklemishev, Lev D. 1967-

Quantifier-free induction schema and the least element principle von Beklemishev, Lev D. 1967-

Problems in the logic of provability von Beklemishev, Lev D. 1967-

Veblen hierarchy in the context of provability algebras von Beklemishev, Lev D. 1967-

Provability logic von Artemov, S. N., Beklemishev, Lev D. 1967-

Provability algebras and proof-theoretical ordinals, I von Beklemishev, Lev D. 1967-

On the induction schema for decidable predicates von Beklemishev, Lev D. 1967-

On the query complexity of finding a local maximum point von Rastsvetaev, A. L., Beklemishev, Lev D. 1967-

Induction rules, reflection principles, and provably recursive functions von Beklemishev, Lev D. 1967-

Parameter free induction and reflection von Beklemishev, Lev D. 1967-

Notes on local reflection principles von Beklemishev, Lev D. 1967-

Induction rules, reflection principles, and provably recursive functions von Beklemishev, Lev D. 1967-

Iterated local reflection vs iterated consistency von Beklemishev, Lev D. 1967-

Algorithmic aspects of algebra and logic collected papers dedicated to academician Sergei Ivanovich Adian on the occasion of his 80th birthday

Weitere Verfasser: “… Beklemishev, Lev D. 1967- …”
Inhaltsverzeichnis

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Weitere Verfasser: “… Beklemishev, Lev D. 1967- …”

Volltext öffnen Volltext öffnen

Special issues on Computer science in Russia

Weitere Verfasser: