Kozen, Dexter Kozen, Dexter

Used books, rare books and new books

Find all books by Kozen, Dexter and compare prices

Find signed collectible books by "Kozen, Dexter"

Logics of Programs: Lecture Notes in Computer Science (Lecture Notes in Computer Science, 131)

Logics of Programs: Lecture Notes in Computer Science (Lecture Notes in Computer Science, 131)

ISBN 9780387112121

Paperback, Springer Verlag, 1982

Find signed collectible books: "Logics of Programs: Lecture Notes in Computer Science (Lecture Notes in Computer Science, 131)"

Dynamic Logic (Foundations of Computing)

Dynamic Logic (Foundations of Computing)

ISBN 9780262082891

Hardcover, Mit Pr, 2000

Find signed collectible books: "Dynamic Logic (Foundations of Computing)"

Kozen, Dexter: used books, rare books and new books @ BookFinder.com