Logics for computer science : classical and non-classical /
Saved in:
Main Authors: | |
---|---|
Published: |
Springer,
|
Publisher Address: | Cham, Switzerland : |
Publication Dates: | [2018] |
Literature type: | Book |
Language: | English |
Subjects: | |
Carrier Form: | x, 535 pages : illustrations ; 26 cm |
ISBN: |
9783319925905 (hardback) : 3319925903 (hardback) |
Index Number: | QA9 |
CLC: | O141 |
Call Number: | O141/W319 |