Logics for Computer Science
Subtitle: Classical and Non-Classical
Publisher: Springer
Published: Nov 13, 2018
Format: hardcover
Number of pages: 545
ISBN-13: 9783319925905
Notes: Source title: Logics for Computer Science: Classical and Non-Classical