Logics for Computer Science

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science

READERSHIP: General (US: Trade)

---

ISBN-10: 3319925903
ISBN-13: 9783319925905
Author: Wasilewska, Anita /
Publisher: Springer International Publishing AG
Publication date: November 2018
Format: Hardback
Language: English
Dimensions: 186 x 262 x 33 mm
Weight: 1198 g Pages: 535 pages, 1 Illustrations, black and white; X, 535 p. 1 illus. pages
Title: Logics for Computer Science

---