Details for: Equational logic as a programming language › Matheson Library catalog

Matheson Library

Empowering Knowledge, Inspiring Discovery

Welcome to the Matheson Library

Explore our vast collection of resources.

Learn and Grow

Your journey to knowledge starts here.

Connect with Us

Join the Matlis community for lifelong learning.

Discover New Worlds

Books that inspire and empower.

Digital Resources

Access journals, articles, and more.

Collaborate and Innovate

Spaces designed for teamwork.

Events and Workshops

Learn from experts and peers.

History and Heritage

Preserving stories and memories.

Our Mission

Empowering education for all.

Future Ready

Building knowledge for tomorrow.

Normal view MARC view ISBD view

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

By:

O'Donnell, Michael J, 1952-

Material type: Text

Text

TextSeries: MIT Press series in the foundations of computingPublication details: Cambridge, Mass MIT Press c1985Description: 296 p. ill 24 cmSubject(s):

DDC classification:

001.64 24

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	Matheson Library Main Collection	Main Collection	001.6424 O26e (Browse shelf(Opens below))	Available		046706

026215028X

There are no comments on this title.

to post a comment.

Share