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

Logic and Automata
Logic and Automata
history and perspectives. Texts in Logic and Games. Wiskundige logica en automata theorie zijn twee wetenschappelijke... »
 
 
 
 
 

Finite Model Theory
Finite Model Theory
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and th... »
 
 
 
 
 

Einführung in die mathematische Logik
Einführung in die mathematische Logik
Einführung in die mathematische Logik »