Tree @master (Download .tar.gz)
cpressey.md @master — view markup · raw · history · blame
Ratings by cpressey of Logic works
Logic (Hodges)
- rating: TODO
.
Mathematical logic and formalized theories
- rating: TODO
.
Mathematical Logic (Kleene)
- rating: classic
.
Mathematical Logic (Quine)
- rating: classic
.
Deductive Logic: a programed introduction
- rating: 0
.
The Blackwell Guide To Philosophical Logic
- rating: TODO
.
Handbook of Logic in Computer Science, Volume 1
- rating: TODO
.
Handbook of Logic and Proof Techniques for Computer Science
- rating: TODO
.
Handbook of logic in artificial intelligence and logic programming, Vol 1
- rating: TODO
- useful: true
.
Simply Logical
- rating: 1
.
Introduction to Mathematical Proof
- rating: 2
.
On the Unusual Effectiveness of Logic in Computer Science
- rating: 1
.
The Galois Connection between Syntax and Semantics
- rating: 1
.
Syntax versus Semantics
- rating: 1
.
Towards Applied Theories based on Computability Logic
- rating: 0
.
Propositional Logic | Internet Encyclopedia of Philosophy
- rating: 1
.
Natural Deduction | Internet Encyclopedia of Philosophy
- rating: 3
.
Natural Deduction Systems in Logic (Stanford Encyclopedia of Philosophy)
- rating: 1
.
Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)
- rating: 2
.
Survey of Computability Logic
- rating: 1
.
Provability Logic (Stanford Encyclopedia of Philosophy)
- rating: 1
.
Intensional Logic (Stanford Encyclopedia of Philosophy)
- rating: 0
.
The Herbrand Manifesto
- rating: 3
.
Self-verifying theories - Wikipedia
- rating: 3
.
Bernays--Schönfinkel class - Wikipedia
- rating: 1
.
Are opinions considered sentences in logic? - Philosophy Stack Exchange
- rating: 3
.
lo.logic - Metamathematics of buts - MathOverflow
- rating: 1
.
logic - What framework or tool solves the Barber Paradox? - Philosophy Stack Exchange
- rating: 1
.
What assumptions and methodology do metaproofs of logic theorems use and employ? - MathOverflow
- rating: 1
.