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 ».
Books
Logic and Automata history and perspectives. Texts in Logic and Games. Wiskundige logica en automata theorie zijn twee wetenschappelijke... »
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... »