1
by Poernomo, Iman, Crossley, John N., Wirsing, Martin
Published 2005
Springer New York
Subjects: ...Computer Science Logic and Foundations of Programming...