Similar books

Books Like Constructivity in computer science

If you liked Constructivity in computer science by O'Donnell, Michael J.

If you liked Constructivity in computer science by O'Donnell, Michael J., start with An ordinary family (2004), Computing in systems described by equations (1977), and Equational logic as a programming language (1985). These recommendations are drawn from the same author, shared genres, and reader overlap on BookOrb.

Back to Constructivity in computer science · O'Donnell, Michael J. books in order

Recommended next reads

  1. 1 An ordinary family 2004 · 268 pages · O'Donnell, Michael J. · Same author
  2. 2 Computing in systems described by equations 1977 · 111 pages · O'Donnell, Michael J. · Same author
  3. 3 Equational logic as a programming language 1985 · 296 pages · O'Donnell, Michael J. · Same author

Frequently asked questions

What should I read after Constructivity in computer science?

BookOrb recommends An ordinary family (2004), Computing in systems described by equations (1977), and Equational logic as a programming language (1985).

Are there books like Constructivity in computer science?

Yes. The list on this page is ranked from the closest matches BookOrb has for Constructivity in computer science.

Who wrote Constructivity in computer science?

Constructivity in computer science is by O'Donnell, Michael J..