×
  • Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

    Alexander Aiken Dexter Kozen Moshe Vardi Ed Wimmers (auth.) Egon Börger Yuri Gurevich Karl Meinke (eds.)

Click on cover to enlarge.
7 - 8Hours to read