Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Introduction to Quantum Mechanics & Applications to Chemistry
Linus Pauling, E. Bright Wilson Jr.
The Problem of Disenchantment: Scientific Naturalism and Esoteric ...
Egil Asprem
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair