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