4

Answers
votes newest views recent
2
Basic results with three or more hypotheses
11
Mendelson’s *Mathematical Logic* and the missing Appendix on the consistency of PA
2
How do quantifiers limit scope?
13
Who introduced the concept of Primitive recursive functions?