Companies Home Search Profile
TrainingHub TrainingHub

Books Education INLogic

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science) PDF
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Zhe Hou
Logic
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) PDF
Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)
Donald Sannella
Logic
Ewa Orłowska on Relational Methods in Logic and Computer Science (Outstanding Contributions to Logic Book 17) PDF
Ewa Orłowska on Relational Methods in Logic and Computer Science (Outstanding Contributions to Logic Book 17)
Joanna Golińska-Pilarek
Logic
Ernst Schröder on Algebra and Logic (Synthese Library Book 465) PDF
Ernst Schröder on Algebra and Logic (Synthese Library Book 465)
Stephen Pollard
Logic
Fuzzy Multi-criteria Decision-Making Using Neutrosophic Sets (Studies in Fuzziness and Soft Computing Book 369) PDF
Fuzzy Multi-criteria Decision-Making Using Neutrosophic Sets (Studies in Fuzziness and Soft Computing Book 369)
Cengiz Kahraman
Logic
Pragmatic Logic (Synthesis Lectures on Digital Circuits and Systems, 13) PDF
Pragmatic Logic (Synthesis Lectures on Digital Circuits and Systems, 13)
William J. Eccles
Logic
Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science) PDF
Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)
David Makinson
Logic
Handbook of Philosophical Logic: Volume 13 (Handbook of Philosophical Logic, 13) PDF
Handbook of Philosophical Logic: Volume 13 (Handbook of Philosophical Logic, 13)
D.M. Gabbay
Philosophy
Mathematical Logic through Python PDF
Mathematical Logic through Python
Noam Nisan
Logic
Mathematical Logic and Computation PDF
Mathematical Logic and Computation
Jeremy Avigad
Logic
Filtering