Type Theory and Formal Proof: An Introduction - Rob Nederpelt
- Herman Geuvers
| - |
| - |
| - |
Zeus Grants Stupid Wishes | - |
The Complete Poems of John Keats. | - |
| - |
Inner Experience - Georges Baraille
- Leslie A. Boldt (Translator)
| - |
Spring Snow - Yukio Mishima
- Michael Gallagher (Translator)
| - |
My Mother - Georges Bataille
- Austryn Wainhouse (Translator)
| - |
| - |
| - |
Theogony - Hesiod
- Theognis
- Dorothea Wender (Translator)
| - |
The Epic of Gilgamesh - Anonymous
- N.K. Sandars (Translator)
| - |
Bruce Lee ― Wisdom for the Way | - |
Bruce Lee Striking Thoughts | - |
| 4 |
Là-Bas - Joris-Karl Huysmans
- Keene Wallace (Translator)
| - |
The Mythical Man-Month: Essays on Software Engineering | - |
The red book = - Carl Gustav Jung
- Mark Kyburz (Translator)
- John Peck (Translator)
| - |
The Prince - Niccolò Machiavelli
- Rufus Goodwin (Translator)
| - |
| 3 |
| - |
Designing Data-Intensive Applications | - |
A Philosophy of Software Design | 4 |
The Little Typer - Daniel P. Friedman
- David Thrane Christiansen
| - |
Russian Cosmists Russian Cosmists: The Esoteric Futurism of Nikolai Fedorov and His Followers | - |
The Singularity is Near: When Humans Transcend Biology | - |
| - |
| - |
Pregnancy: The Beginner's Guide | 4 |
| 4 |
| - |
Testament: Memoir of the Thoughts and Sentiments of Jean Meslier - Jean Meslier
- Michael Shreve (Translator)
| - |
| - |
Low, Vol. 2: Before the Dawn Burns Us | 4 |
Existentialism from Dostoyevsky to Sartre | - |
Being and Nothingness - Jean-Paul Sartre
- Hazel E. Barnes (translator)
| - |
| 5 |
How Not to Die: Discover the Foods Scientifically Proven to Prevent and Reverse Disease - Michael Greger
- Gene Stone
- Ita Ankoriņa (Translator)
- Marta Ābele (Translator)
| - |
Homo Deus: A History of Tomorrow | - |
Summa Theologiae - Thomas Aquinas
- Timothy Suttor (Translator)
| - |
Summa technologiae - Stanisław Lem
- Friedrich Griese
| - |
| 4 |
97 Things Every Programmer Should Know: Collective Wisdom from the Experts | 3 |
| 4 |
| - |
In Over Our Heads: The Mental Demands of Modern Life | - |
The Type Astronaut's Guide to Shapeless | 4 |
Enlightenment Now: The Case for Reason, Science, Humanism, and Progress | - |
| - |
| - |
Functional Programming in Scala - Rúnar Bjarnason
- Paul Chiusano
| - |
The Power Broker: Robert Moses and the Fall of New York | - |
Philosophy as a Way of Life: Spiritual Exercises from Socrates to Foucault | - |
| - |
Az idő gyermekei - Adrian Tchaikovsky
- Gábor Habony (Translator)
| 4 |
| - |
Freedom in Exile: The Autobiography of the Dalai Lama | - |
| - |
| - |
Why the West Rules—for Now: The Patterns of History, and What They Reveal About the Future | - |
| - |
A szél neve - Patrick Rothfuss
- György Bihari (Translator)
| 4 |
A Mind for Numbers: How to Excel at Math and Science | - |
The Incal - Alejandro Jodorowsky
- Mœbius
| - |
| 4 |
| 3 |
The Phenomenon of Man - Pierre Teilhard de Chardin
| - |
| - |
| - |
| - |
| - |
The Timeless Way of Building - Christopher Alexander
- Professor in the Department of Architecture Christopher Alexander
| - |
Network Science - Albert-László Barabási
- Márton PÃ3sfai
| - |
The Algorithm Design Manual | - |
| - |
| - |
Manifest Destiny, Vol. 1: Flora & Fauna | 3 |
The Decline and Fall of the Roman Empire | - |
The Rise and Fall of the Third Reich: A History of Nazi Germany | - |
| - |
| - |
| - |
| - |
2666 - Roberto Bolaño
- Natasha Wimmer (Translator)
| 5 |
The Joy of Clojure - Michael Fogus
- Chris Houser
| - |
Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation | - |
Nietzsche, Volumes One and Two - Martin Heidegger
- David Farrell Krell
| - |
Musashi - Eiji Yoshikawa
- Charles S. Terry (Translator)
| - |
| - |
| - |
| 3 |
The Birth of Tragedy / The Case of Wagner - Friedrich Nietzsche
- Shaun Whiteside (Translator)
| - |
| - |
Empires and Barbarians: The Fall of Rome and the Birth of Europe | - |
| - |
The Road Back - Erich Maria Remarque
- Arthur Wesley Wheen (Translator)
| - |
| 2 |
| - |
| - |