Logics of Programs

Workshop, Yorktown Heights, New York, May 1981

by Dexter Kozen

1982 · 429 pages