Book
Placing emphasis on semantic aspects, in the form of labelled transition structures, rather than on proof theory, this text covers the basic material propositional languages, semantics and correspondence results, proof systems and completeness results. «
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 ».
No related books yet.