Bibliography

Logic of Mathematics: An attempt to develop my categories from within

Htabs