Sign In
Sign Up
Combinators, l-terms and proof theory
Sören Stenlund
-
/
5
0 votes
Proof Theory
Combinatory Logic
Fermat's Last Theorem
3.9
17 votes
Code
4.3
21 votes
Clean Code
4.4
35 votes
Think Again
3.7
23 votes
Alice in Wonderland in Five Acts
4.0
65 votes
The elegant universe
4.0
22 votes
Jung's map of the soul
4.7
27 votes
A darker shade of magic
3.8
44 votes
The Signal and the Noise
3.9
48 votes
Nate The Great (Nate The Great)
4.6
16 votes
The Games People Play
4.0
39 votes
A Conjuring of Light
4.3
16 votes
Alice's Adventures in Wonderland
4.0
172 votes
Through the Looking-Glass
3.9
45 votes
The Complete Robot
4.5
20 votes
The art of thinking clearly
4.2
16 votes
Marketing management
4.0
27 votes
Gödel, Escher, Bach
4.2
59 votes
The Sun Also Rises
3.8
21 votes
The God delusion
3.9
124 votes
Jurassic Park
4.1
145 votes
How to solve it
4.0
15 votes
For Whom the Bell Tolls
3.4
16 votes
We Should All Be Feminists
4.1
26 votes
Antifragile
4.1
33 votes
Rooster who set out to see the world
3.9
17 votes
A Farewell to Arms
3.7
47 votes
A Room of One's Own
4.2
23 votes
The Grand Design
3.7
21 votes
Thinking in systems
4.4
22 votes
Ways of Seeing
3.9
16 votes
On The Road
3.4
74 votes
Utopia
3.2
18 votes
Men Explain Things To Me
3.9
23 votes
The Information
3.8
15 votes
The Code Book
4.0
35 votes
The selfish gene
4.4
60 votes
Einstein
4.2
23 votes
Lean In
3.6
16 votes
Ulysses
3.5
15 votes
Συμπόσιον
4.2
25 votes
Dubliners
3.8
73 votes
Nudge
3.7
21 votes
The Return of Sherlock Holmes
4.2
25 votes
Freakonomics
3.9
161 votes
Alice's Adventures in Wonderland / Through the Looking Glass
4.0
92 votes
Harry Potter and the Philosopher's Stone
4.3
747 votes
Sherlock Holmes
4.5
43 votes
