A relational theory of computing

Loading...
Thumbnail Image
Date
1980
Journal Title
Journal ISSN
Volume Title
Publisher
Berlin ; New York : Springer-Verlag
Abstract
Description
Keywords
QA76.6 .S262, Computer programming., Metamathematics.
Citation
Collections