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
First Steps in Modal Logic Placing emphasis on semantic aspects, in the form of labelled transition structures, rather than on proof theory, this text covers the basic material proposi... »