4

Answers
votes newest views recent
1
Subsystems of Peano arithmetic and incompleteness theorem
3
undergraduate logic textbook (2)
2
Logic in mathematics and philosophy
2
Propositional logic and first order logic textbook