Flick Club LogoFlick Club Logo

Many-sorted logic and its applications

J. V. Tucker

Computer Programming Nonclassical Mathematical Logic Symbolic And Mathematical Logic
Hackers
4.1 21 votes
Rogue protocol
4.2 66 votes
Accelerando
3.9 38 votes
Structure and Interpretation of Computer Programs (SICP)
4.4 21 votes
All Systems Red
4.3 29 votes
Artificial condition
4.2 59 votes
The Mythical Man-Month
4.2 28 votes
Coders at Work
4.0 18 votes
The Difference Engine
3.3 22 votes
Masters of Doom
4.1 32 votes
Code
4.3 21 votes
Gödel, Escher, Bach
4.2 59 votes
We Are Legion
4.2 15 votes
The moon is a harsh mistress
4.0 71 votes
JavaScript
4.1 30 votes
Algorithms to Live By
4.0 37 votes
Hackers & painters
4.0 16 votes
Artificial intelligence
4.2 20 votes
Idoru
3.8 29 votes
Protector
4.1 15 votes
The Algebraist
3.8 19 votes
The Pragmatic Programmer
4.4 41 votes
Klara and the Sun
3.7 38 votes
How to solve it
4.0 15 votes
Neuromancer
4.0 70 votes
2001: A Space Odyssey
4.2 118 votes
The Peripheral
4.1 35 votes
Consider Phlebas
3.6 92 votes
In the Beginning...Was the Command Line
3.7 22 votes
Prey
3.6 38 votes
Rendezvous with Rama
4.2 89 votes
The Windup Girl
4.0 42 votes
Biology
3.9 18 votes
Do Androids Dream of Electric Sheep?
4.0 143 votes
Mona Lisa Overdrive
4.0 52 votes
Count Zero
4.0 52 votes
The Hydrogen Sonata
4.0 27 votes
Surface Detail
4.1 30 votes
2061: Odyssey Three
3.6 22 votes
The three stigmata of Palmer Eldritch
3.5 24 votes
The player of games
4.2 73 votes
Look to windward
4.0 30 votes
Calculus
4.1 17 votes
To Sleep in a Sea of Stars
3.5 17 votes
I, Robot
4.2 153 votes
All Tomorrow's Parties
3.9 19 votes
2010: odyssey two
3.7 35 votes
Burning Chrome
3.9 41 votes