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

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

Labelled Deduction
Labelled Deduction
 »
 
 
 
 
 

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 »
 
 
 
 
 

Interpolat Definability Olg 46 C
Interpolat Definability Olg 46 C
Modal And Intuitionistic Logics »