5 public-domain matches

Computable Mathematics

Cover of Making Presentation Math Computable

Making Presentation Math Computable

André Greiner-Petter

A History of Japanese Mathematics

A History of Japanese Mathematics

David Eugene Smith and Yoshio Mikami

Cover of Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Unknown author

Cover of The Amazing Journey of Reason

The Amazing Journey of Reason

Mario Alemi

Cover of Computer Aided Verification

Computer Aided Verification

Unknown author