Logic, language, and computationNeil D. Jones, Satoru Takasu, Masami Hagiya · First published 1994Open the Tome
Systems and computer science;Conference on Systems and Computer Science, University of Western Ontario, 1965. Hart, John F., ; Takasu, Satoru, ; University of Western Ontario. · First published 1967Open the Tome
