Computer science logic (e-book)
Gradel, Erich
Computer science logic (e-book) - Berlin Springer 2009 - Lecture Notes in Computer Science (LNCS) v.5771 .
978-3-642-04027-6
Computer science logic (e-book) - Berlin Springer 2009 - Lecture Notes in Computer Science (LNCS) v.5771 .
978-3-642-04027-6