Intuitionistic Type Theory
Per Martin-Lof
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove
An introduction to metaphysics
Henri Bergson
Science and Sanity
Alfred Korzybski
Grounding and Shielding: Circuits and Interference
Ralph Morrison
Gravitation and Cogravitation: Developing Newton's Theory of ...
Oleg D. Jefimenko
Electrostatic Motors: Their History, Types, and Principles of ...
Oleg Jefimenko
Electromagnetic Retardation and Theory of Relativity: New Chapters ...
Electricity and Magnetism: An Introduction to the Theory of ...
Game Engine Gems 2
Eric Lengyel
The Salt Fix
Dr. James DiNicolantonio
The Structure Of Scientific Revolutions
Thomas Kuhn
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche
Book of Proof
Richard Hammack
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Quantum Mechanics and the Particles of Nature: An Outline for ...
Anthony Sudbery
Studies in Chemical Physics (1)
Einstein Manifolds
Arthur L. Besse
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)