Philosophy 140A: Metalogic

[ Home ] [ Syllabus ] [ Sections ] [ Handouts ] [ Assignments & Exams ] [ Links ] [ Pictures ]

Aristotle Chrysippus Boole Cantor Dedekind
Frege Russell Whitehead Wittgenstein Hilbert
Godel Lukasiewicz Tarski Skolem Turing
Peirce Carnap Church Quine