Equational logic as a programming language Michael J. O'Donnell
By: O'Donnell, Michael J.
Material type: BookSeries: MIT Press series in the foundations of computing. Publisher: Cambridge, Mass MIT Press c1985Description: 296 p. ill 24 cm.Subject(s): Programming languages (Electronic computers) | Logic, Symbolic and mathematical | Equations, Theory ofDDC classification: 001.64Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Matheson Library | Matheson Library | Main Collection | Main Collection | 001.6424 O26e (Browse shelf) | Available | 046706 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
001.6424 M752 A crash course in Pascal / | 001.6424 N148b BASIC with style | 001.6424 N183c Computing : | 001.6424 O26e Equational logic as a programming language | 001.6424 O58 On the construction of programs | 001.6424 P B787p 1984 Problem solving using UCSD Pascal / | 001.6424 P B787p 1984 Problem solving using UCSD Pascal / |
026215028X
There are no comments for this item.