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
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
 »
 
 
 
 
 

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

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

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

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

On the limit existence priciples in elementary arithmetic and related topics
On the limit existence priciples in elementary arithmetic and related topics
 »
 
 
 
 
 

Induction rules, reflection principles and provably recursive functions
Induction rules, reflection principles and provably recursive functions
 »
 
 
 
 
 

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

1
2
 
Search
 
Log in / Sign Up
 


 Forgotten?
Log in through Facebook
Superscanner
 
Popular authors
 
  1. Saskia Noort
  2. Esther Verhoef
  3. Tess Gerritsen
  4. Loes den Hollander
  5. Nicci French
Popular authors »
 
Idea box
 

About
Contact
Alle boeken
   
© Boeklezers.nl