George S. Boolos

Auteur

George S. Boolos

Wikipedia
George S. Boolos
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

Computability and Logic
Computability and Logic
 »
 
 
 
 
 

Computability and Logic
Computability and Logic
Computability and Logic is a classic because of its accessibility to »
 
 
 
 
 

The Logic of Provability
The Logic of Provability
The subject of this work is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and... »
 
 
 
 
 

 
domReadyCallbacks.push( function() { new Error('Sorry, dit kan je alleen doen als je ingelogd bent. Als je nog geen lid bent, kun je dat hier worden.'); });