L.D. Beklemishev
12 titels in de boekenbase · Auteur · 1995–1996
Over L.D. Beklemishev
L.D. Beklemishev staat met 12 titels in de boekenbase als auteur. Bekend van de series ‘Logic group preprint series’ en ‘Preprint logic series’. Het werk valt vooral onder non-fictie informatief/professioneel algemeen en filosofie algemeen. Verschenen tussen 1995 en 1996 bij Universiteit Utrecht.
Serie: Logic group preprint series →
Induction rules, reflection principles and provably recursive functions
L.D. Beklemishev
Induction rules, reflection principles and provably recursive functions
L.D. Beklemishev
Paperback · 1996
Introduction rules, reflection principles, and provably recursive functions
L.D. Beklemishev
Introduction rules, reflection principles, and provably recursive functions
L.D. Beklemishev
Niet gespecificeerd · 1995
The worm principle
L.D. Beklemishev
The worm principle
L.D. Beklemishev
Paperback
Quantifier-free induction schema and the least element principle
L.D. Beklemishev
Quantifier-free induction schema and the least element principle
L.D. Beklemishev
Paperback
Veblen hierarchy in the context of provability algebras
L.D. Beklemishev
Veblen hierarchy in the context of provability algebras
L.D. Beklemishev
Paperback
Reflection principles and provability algebras in formal arithmetic
L.D. Beklemishev
Reflection principles and provability algebras in formal arithmetic
L.D. Beklemishev
Paperback
Serie: Preprint series →
Notes on local reflection principles
L.D. Beklemishev
Notes on local reflection principles
L.D. Beklemishev
Paperback · 1995
On the induction svhema for decidable predicates
L.D. Beklemishev
On the induction svhema for decidable predicates
L.D. Beklemishev
Paperback
On the query complexity of finding a local maximum point
A.L. Rastsvetaev
On the query complexity of finding a local maximum point
A.L. Rastsvetaev
Paperback
Overige titels
1
L.D. Beklemishev
1
L.D. Beklemishev
Paperback
On the limit existence priciples in elementary arithmetic and related topics
L.D. Beklemishev
On the limit existence priciples in elementary arithmetic and related topics
L.D. Beklemishev
Paperback
Problems in the Logic of Provability
L.D. Beklemishev
Problems in the Logic of Provability
L.D. Beklemishev
Paperback
Werkte samen met