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

Labelled Deduction
Labelled Deduction
 »
 
 
 
 
 

Han Logic Comp Sci Vol 5 Hlcs C
Han Logic Comp Sci Vol 5 Hlcs C
This volume of the computer science series covers all major areas of application of logic to theoretical computer science. Topics include Martin-Loef's Type ... »
 
 
 
 
 

Philosophy of Anthropology and Sociology
Philosophy of Anthropology and Sociology
A Volume in the Handbook of the Philosophy of Science Series »
 
 
 
 
 

Philosophy of Logic
Philosophy of Logic
Philosophy of Logic »
 
 
 
 
 

Logic And The Modalities In The Twentieth Century
Logic And The Modalities In The Twentieth Century
Handbook of the History of Logic »
 
 
 
 
 

Many-Dimensional Modal Logics
Many-Dimensional Modal Logics
Theory and Applications »