Logic and Its Applications

Publication Type:

Book

Source:

Lecture Notes in Computer Science, Springer , Number 5378, Berlin Heidelberg (2009)