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

Powered by Koha