research
∙
04/01/2023
Logic is Algebra
Logic really is just algebra, given one uses the right kind of algebra, ...
research
∙
07/12/2022
Abstraction Logic: A New Foundation for (Computer) Mathematics
Abstraction logic is a new logic, serving as a foundation of mathematics...
research
∙
09/22/2016