.Clicking on the icon will take one to a separate page with the footnote.
Footnotes in the HTML files are handled by the icon
.
Clicking on the icon will take one to a separate page with the footnote.
§7 Valid arguments
|
Comparing the expressive power of propositional logic to that of the calculus of classes | (.pdf file) | (.dvi file) |
(.ps file) |
| Comments on Boolean algebra | (.pdf file) | (.dvi file) |
(.ps file) |
§8 Compactness
| A second proof of compactness, using binary trees |
(.pdf file) |
(.ps file) |
§9 The Propositional Proof System PC
| An algorithm to find derivations in PC |
(.pdf file) |
(.ps file) |
|
General discussion of propositional proof systems | (.pdf file) | (.dvi file) |
(.ps file) |
| (*) | The relative strength of propositional proof systems |
(.pdf file) |
(.ps file) |
|
Numbers, Sets and Mathematical Logic: The Logicians II. |
[ single PS file - 400K ] |
[ single PDF file 500K ] |
This consists of comments on the work in logic from:
| Dedekind | (.pdf file) | (.dvi file) |
(.ps file) |
| Cantor | (.pdf file) | (.dvi file) |
(.ps file) |
An earlier version of the notes on Cantor quoted correspondence from Dedekind to Cantor. The correspondence was actually from Cantor to Dedekind. This has been corrected in the current version. (March 13, 2001)
| Frege | (.pdf file) |
(.ps file) |
| Schröder | (.pdf file) | (.dvi file) |
(.ps file) |
| Peano | (.pdf file) | (.dvi file) |
(.ps file) |
| Zermelo | (.pdf file) | (.dvi file) |
(.ps file) |
| Löwenheim | (.pdf file) | (.dvi file) |
(.ps file) |
|
The Principia Mathematica of Whitehead and Russell | (.pdf file) | (.dvi file) |
(.ps file) |
| Skolem | (.pdf file) | (.dvi file) |
(.ps file) |
| Hilbert | (.pdf file) | (.dvi file) |
(.ps file) |
| Herbrand | (.pdf file) | (.dvi file) |
(.ps file) |
| Gödel | (.pdf file) | (.dvi file) |
(.ps file) |
| Gentzen | (.pdf file) | (.dvi file) |
(.ps file) |