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
Notes on local reflection principles
Notes on local reflection principles
 »
 
 
 
 
 

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

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
 »
 
 
 
 
 

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

1
2
 
Search
 
Log in / Sign Up
 


 Forgotten?
Log in through Facebook
Superscanner
 
Most tipped this week
 
All toplists »
 
Idea box
 

About
Contact
Alle boeken
   
© Boeklezers.nl