Boek
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 een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Er zijn nog geen recensies voor dit boek.