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 |
|
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)
|
|
|
Designing Data-Intensive Applications |
A Philosophy of Software Design |
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 |
|
|
Testament: Memoir of the Thoughts and Sentiments of Jean Meslier - Jean Meslier
- Michael Shreve (Translator)
|
|
Low, Vol. 2: Before the Dawn Burns Us |
Existentialism from Dostoyevsky to Sartre |
Being and Nothingness - Jean-Paul Sartre
- Hazel E. Barnes (translator)
|
|
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
|
|
97 Things Every Programmer Should Know: Collective Wisdom from the Experts |
|
|
In Over Our Heads: The Mental Demands of Modern Life |
The Type Astronaut's Guide to Shapeless |
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)
|
|
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)
|
A Mind for Numbers: How to Excel at Math and Science |
The Incal - Alejandro Jodorowsky
- Mœbius
|
|
|
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 |
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)
|
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)
|
|
|
|
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)
|
|
|
|