1 - Axiomatic projective geometry |
2 - Boolean algebra |
3 - Fundamental concepts of mathematics |
4 - Mathematical logic |
5 - Recursive analysis |
6 - Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus |
1 - Axiomatic projective geometry |
2 - Boolean algebra |
3 - Fundamental concepts of mathematics |
4 - Mathematical logic |
5 - Recursive analysis |
6 - Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus |