Lecture Notes in Computer Science: First-Order Dynamic Logic (Paperback)

Foundations of Computing Dynamic Logic (Paperback)

Lecture Notes in Computer Science Computer Science Logic: 13th International Workshop Csl 99 8th Annual Conference of the Eacsl Madrid Spain Septembe Book 1683 (Paperback)

Lecture Notes in Computer Science Functional and Logic Programming: 7th International Symposium Flops 2004 Nara Japan April 7-9 2004 Proceedings Book 2998 (Paperback)

Dover Books on Computer Science The Art of Modeling Dynamic Systems (Paperback)

Logic Programming Proceedings of the 1999 International Conference on Logic Programming

Introduction to Mathematical Logic, Sixth Edition

Introduction to Mathematical Logic, Sixth Edition

A Manual of Logic; Volume 1 (Paperback)

Pre-Owned An Introduction to Computer Logic (Hardcover) 0134800125 9780134800127

Fundamentals of Digital Logic and Microcontrollers

Extensions of First-Order Logic

Lecture Notes in Logic Gödel 96: Logical Foundations of Mathematics Computer Science and Physics - Kurt Gödel s Legacy Book 6 (Hardcover)

Pre-Owned A Concise Introduction to Logic (Paperback) 0357798686 9780357798683

A Handbook of Logic (Paperback)

Bundle: A Concise Introduction to Logic (with CourseCard), 11th + Learning Logic 5.0 CD-ROM

Modern Birkhäuser Classics Logic for Computer Scientists (Paperback)