[ Back to Record ]

  1. Bib ID# 42146
    ISBN: 9783642294853
    UPC: 10.1007/978-3-642-29485-3
    Title: Logic and Program SemanticsEssays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
    Author: Constable, Robert L.
    Publication Info:
    Item Type: Language material

[ Back to Record ]