Home
Members
Books
Authors
Clubs
L.D. Beklemishev
Add to favorites

Author

L.D. Beklemishev

Wikipedia
L.D. Beklemishev
Share on Twitter



 
Books
 
 
Wall
 
 
 
Fans
 
 

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

1
2
Introduction rules, reflection principles, and provably recursive functions
Introduction rules, reflection principles, and provably recursive functions
 »
 
 
 
 
 

Quantifier-free induction schema and the least element principle
Quantifier-free induction schema and the least element principle
 »
 
 
 
 
 

Notes on local reflection principles
Notes on local reflection principles
 »
 
 
 
 
 

The worm principle
The worm principle
 »
 
 
 
 
 

On the induction svhema for decidable predicates
On the induction svhema for decidable predicates
 »
 
 
 
 
 

Problems in the Logic of Provability
Problems in the Logic of Provability
 »
 
 
 
 
 

Provability algebras and proof-theoretic ordinals
Provability algebras and proof-theoretic ordinals
 »
 
 
 
 
 

Reflection principles and provability algebras in formal arithmetic
Reflection principles and provability algebras in formal arithmetic
 »
 
 
 
 
 

On the query complexity of finding a local maximum point
On the query complexity of finding a local maximum point
 »
 
 
 
 
 

Veblen hierarchy in the context of provability algebras
Veblen hierarchy in the context of provability algebras
 »
 
 
 
 
 

1
2
 
Search
 
Log in / Sign Up
 


 Forgotten?
Log in through Facebook
Superscanner
 
Most wished books
 
  1. Na de winter
  2. De engel van Spakenburg..
  3. Bacteriƫn moeten ook leven..
  4. Arend
  5. Haar naam was Sarah
All toplists »
 
Idea box
 

About
Contact
Alle boeken
   
© Boeklezers.nl