4

Answers
votes newest views recent
15
What if Current Foundations of Mathematics are Inconsistent?
2
Reasons for success in automated theorem proving
2
Propositional logic and first order logic textbook
1
Replacing logician-constructive with combinatorist-constructive?