dc.contributor.author | Sanderson, John G | |
dc.date.accessioned | 2012-11-04T02:59:17Z | |
dc.date.available | 2012-11-04T02:59:17Z | |
dc.date.issued | 1980 | |
dc.identifier.uri | http://hdl.handle.net/123456789/2166 | |
dc.language.iso | en | en_US |
dc.publisher | Berlin ; New York : Springer-Verlag | en_US |
dc.relation.ispartofseries | Lecture notes in computer science ; 82;0387099875 (U.S. : pbk.) | |
dc.subject | QA76.6 .S262 | en_US |
dc.subject | Computer programming. | en_US |
dc.subject | Metamathematics. | en_US |
dc.title | A relational theory of computing | en_US |
dc.type | Book | en_US |