ISBN 3642294847 books & textbook
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 7230)
Constable, Robert L. Silva, Alexandra
Springer /2012-04-11 Paperback / 370 Pages
isbn-10: 3642294847 / isbn-13: 9783642294846
