𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Logics for Computer Science, 2nd Edition

✍ Scribed by Arindama Singh


Publisher
PHI
Year
2018
Tongue
English
Leaves
431
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects


Mathematics, Logic


πŸ“œ SIMILAR VOLUMES


Logic in Computer Science: Modelling and
✍ Michael Huth, Mark Ryan πŸ“‚ Library πŸ“… 2004 🌐 English

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The cov

Logic: Reference Book for Computer Scien
✍ Lech T. Polkowski πŸ“‚ Library πŸ“… 2023 πŸ› Springer 🌐 English

<p><span>The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical

Concrete Mathematics: A Foundation for C
✍ Ronald L. Graham, Donald E. Knuth, Oren Patashnik πŸ“‚ Library πŸ“… 1994 πŸ› Addison-Wesley Professional 🌐 English

After having had a bad result from other Ronald L. Graham, Erdos on Graphs : His Legacy of Unsolved Problems, books and articles. I was surprised with this book. I think that Dr. Knuth seems to turn what he touches to gold? I kind of wish I had read this one several years ago when I wasn't as famili