Home
Leden
Boeken
Auteurs
Clubs
L.D. Beklemishev
Toevoegen aan favorieten

Auteur

L.D. Beklemishev

Wikipedia
L.D. Beklemishev
Deel op Twitter



 
Boeken
 
 
Prikbord
 
 
 
Fans
 
 

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Boeken

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

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

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

The worm principle
The worm principle
 »
 
 
 
 
 

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
 »
 
 
 
 
 

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
 »
 
 
 
 
 

1
2
 
Zoeken
 
Inloggen / Meedoen
 


 Vergeten?
Inloggen via Facebook
Superscanner
 
Verjaardagen
 
  • Karin Kalwij
  • ©~Mel~ ©~Mel~
  • maaike willemsen
  • Rowie Bleser
  • tim maes
  • Yvette den Brok - Rouwendal..
  • Carina van Welzenis
 
Ideeënbus
 

Over
Contact
Alle boeken
   
© Boeklezers.nl