Logics for computer science : classical and non-classical /

Saved in:
Bibliographic Details
Main Authors: Wasilewska, Anita
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