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

Formal Logic
Formal Logic
Offers a text employing the tree method, a formal system of first-order logic. This book allows students to take control of the nuts and bolts of formal logi... »
 
 
 
 
 

The Logic of Decision
The Logic of Decision
Logic of Decision »
 
 
 
 
 

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