Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance

From MaRDI portal
Publication:2897965