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...
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer...
Handbook of Spatial Logics 1079 pages | English | ISBN-10: 1402055862 | ISBN-13: 978-1402055867 https://www.amazon.com/dp/1402055862
Categories in Computer Science and Logic: Proceedings of the Ams-Ims-Siam Joint Summer Research Conference Held...