Logic Programming with Prolog 223 pages | English | ISBN-10: 1852339381 | ISBN-13: 978-1852339388 https://www.amazon.com/dp/1852339381
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) 168...
Programming Languages Implementation and Logic Programming: International Workshop PLILP '88, Orleans, France, May 16-18, 1988....
Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science (193)) 436 pages...
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008....
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings...
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes...
From Topic to Tale: Logic and Narrativity in the Middle Ages (Theory & History of...
The Logic of Epistemology and the Epistemology of Logic: Selected Essays (Synthese Library (200)) 266...
Logical Labyrinths 275 pages | English | ISBN-10: 1568814437 | ISBN-13: 978-1568814438 https://www.amazon.com/dp/1568814437
First-Order Dynamic Logic (Lecture Notes in Computer Science (68)) 148 pages | English | ISBN-10:...
Foundations of Equational Logic Programming (Lecture Notes in Computer Science (353)) 268 pages | English...
Logic Synthesis and Verification Algorithms 596 pages | English | ISBN-10: 0792397460 | ISBN-13: 978-0792397465...
A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing) 352...
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer...
Something To Reckon With: The Logic of Terms (Philosophica) 310 pages | English | ISBN-10:...
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout,...
Algebraic Logic and Universal Algebra in Computer Science. Conference, Ames, Iowa, Usa, June 1-4, 1988....
Quantum theory and the schism in physics (The Postscript to The logic of scientific discovery...
Logic Synthesis and Verification (The Springer International Series in Engineering and Computer Science (654)) 469...