Skip to contents Constable, Robert L. [Author] ; Silva, Alexandra [Other] Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012 Published in: Lecture notes in computer science ; 7230
Constable, Robert L. [Author] ; Silva, Alexandra [Other] Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012 Published in: Lecture notes in computer science ; 7230
> Subject Skip to next facet Computer science (1) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Constable, Robert L. (1) Wert ausschließen Silva, Alexandra (1) Wert ausschließen Show more show less