git @ Cat's Eye Technologies The-Glosscubator / b802588
Add a number of Logic books. Chris Pressey 1 year, 23 days ago
2 changed file(s) with 30 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
+6
-0
Logic/README.md less more
4242
4343 Mathematical Logic (borrow @ [archive.org](https://archive.org/details/mathematicallogi0000klee))
4444
45 Mathematical Logic (online @ [archive.org](https://archive.org/details/QUINEMathematicalLogic))
46
4547 Deductive Logic: a programed introduction (borrow @ [archive.org](https://archive.org/details/deductivelogicpr0000john))
48
49 The Blackwell Guide To Philosophical Logic (online @ [archive.org](https://archive.org/details/lou-goble-the-blackwell-guide-to-philosophical-logic))
50
51 Handbook of Logic and Proof Techniques for Computer Science (borrow @ [archive.org](https://archive.org/details/handbookoflogicp0000kran))
+24
-0
Logic/src/Books.md less more
3434
3535 A book on mathematical logic written by Kleene.
3636
37 ### Mathematical Logic
38
39 * author: W. V. O. Quine
40 * date: 1940
41 * online @ [archive.org](https://archive.org/details/QUINEMathematicalLogic)
42
43 A book on mathematical logic written by Quine.
44
3745 ### Deductive Logic: a programed introduction
3846
3947 * author: John T. Kearns
4351 "Programed" means the thing is one big exercise sheet. Individual questions with
4452 answers are called "frames". In fact, "The Little Lisper", "The Little Schemer",
4553 "The Reasoned Schemer", etc, are all in this format too.
54
55 ### The Blackwell Guide To Philosophical Logic
56
57 * editor: Lou Goble
58 * date: 1999
59 * online @ [archive.org](https://archive.org/details/lou-goble-the-blackwell-guide-to-philosophical-logic)
60
61 Philosophical logic.
62
63 ### Handbook of Logic and Proof Techniques for Computer Science
64
65 * author: Steven G. Krantz
66 * date: 2002
67 * borrow @ [archive.org](https://archive.org/details/handbookoflogicp0000kran)
68
69 Logic for computer science.