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

Labld Deductve Syst Olg 33 C
Labld Deductve Syst Olg 33 C
This work introduces a new unifying framework for logics which makes it »
 
 
 
 
 

Greek, Indian and Arabic Logic
Greek, Indian and Arabic Logic
Handbook of the History of Logic »
 
 
 
 
 

Labelled Deduction
Labelled Deduction
 »
 
 
 
 
 

Handb Logic Art Intell V3 Hlai C
Handb Logic Art Intell V3 Hlai C
Part of a multivolume work covering the application of logic to artificial intelligence and logic programming. »
 
 
 
 
 

The Many Valued And Non-Monotonic Turn In Logic
The Many Valued And Non-Monotonic Turn In Logic
The Many Valued and Non-monotonic Turn in Logic »