Equational logic as a programming language

Author(s)

• O'Donnell, Michael J.

Bibliographic Information

Equational logic as a programming language

Michael J. O'Donnell

（MIT Press series in the foundations of computing）

MIT Press, c1985

Note

Bibliography: p. [277]-284

Includes index

Details

• NCID: BA00015668
• ISBN:
  • 026215028X
• LCCN: 84029507
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass.
• Pages/Volumes: 296 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.7
  • DC19 : 001.64/24
• Subject Headings:
  • LCSH : Programming languages (Electronic computers)
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Equations, Theory of
• Parent Bibliography ID:
  • BA0001568X