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
Induction rules, reflection principles and provably recursive functions
Induction rules, reflection principles and provably recursive functions
 »
 
 
 
 
 

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

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

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
 »
 
 
 
 
 

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

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 reviewed books
 
  1. Haar naam was Sarah
  2. Een keukenmeidenroman..
  3. Caleidoscoop
  4. Maar je krijgt er wel heel vee..
  5. Mannen die vrouwen haten..
All toplists »
 
Idea box
 

About
Contact
Alle boeken
   
© Boeklezers.nl