Logics for Computer Science Classical and Non-Classical / by Anita Wasilewska.
The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications de...
Full description
Saved in: