Mathematical logic applied to the semantics of computer programs
By: Edward Anthony Ashcroft
Contributors: University of London
Published: 1970
Language: eng
Notes: Thesis (doctoral)--University of London, 1970.