Handbook of Logic in Computer Science 5 by S. Abramsky, Dov. M. Gabbay and T. S. E. Maibaum
English | ISBN: 0198537816 | edition 2001 | PDF | 560 pages | 24,8 mb
English | ISBN: 0198537816 | edition 2001 | PDF | 560 pages | 24,8 mb
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI.