Mathematical Logic for Computer Scientists. Rep (1974)

by M Levin
Venue:TR-131, M.I.T. Project MAC