An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Cluster Computing: Architectures, Operating Systems, Parallel ...
Richard S. Morrison
The Principia: The Authoritative Translation and Guide: Mathematical ...
Isaac Newton & Julia Budenz
Selected Tesla Writings Vol.3
Nikola Tesla
An Introductory Grammar of Rabbinic Hebrew
Miguel Pérez Fernández & John Delwolde
Mathematics for Physical Science and Engineering: Symbolic Computing ...
Frank E. Harris