Logic
Principles of valid inference and correct reasoning
Logic is used in most intellectual activities
Informal logic
Natural language arguments
Formal logic
Inference with purely formal content
Symbolic logic
Abstractions
propositional logic
predicate logic
Mathematical logic
model theory
proof theory
set theory
recursion theory
page revision: 0, last edited: 15 Apr 2011 04:19