Logics for Computer Science: Classical and Non-Classical
9783319925905
9783319925905
Pearson; 10 edition (21 May 2015) | English | 9781292096858
9780120884780

9781138587984

9781491972397
9780128116548
9783319443379

English | 10 Mb

English | 10 Mb

English | 10 Mb