Valentin Goranko: 4 books

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most...

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors...

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning. It...

Solutions manual to accompany [Logic and Discrete Mathematics: A Concise Introduction ]Logic and Discrete Mathematics_ A Concise Introduction_This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics,...