Equational logic as a programming language / Michael J. O'Donnell.

By: O'Donnell, Michael J, 1952-Material type: TextTextSeries: MIT Press series in the foundations of computingPublication details: Cambridge, Mass. : MIT Press, c1985Description: 296 p. : ill. ; 24 cmISBN: 026215028XSubject(s): Programming languages (Electronic computers) | Logic, Symbolic and mathematical | Equations, Theory ofDDC classification: 001.64/24 LOC classification: QA76.7 | .701985
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
ATU Book ATU Book SCHOOL OF APPLIED SCIENCE & ENGINEERING LIBRARY - ACCRA TECHNICAL UNIVERSITY
General Stacks 		QA76.7 .701985 (Browse shelf(Opens below)) Available 0000003252
Total holds: 0

Includes index.

Bibliography: p. [277]-284.

There are no comments on this title.

to post a comment.

© 2024. All Right Reserved. Property of Accra Technical University


^