An Introduction to Formal Logic(2020) [pdf]

Does mathematics need a philosophy?

Philosophy of Mathematics – A Reading List

Category Theory: Lecture Notes and Online Books

An Introduction to Godel's Theorems (Second Edition) by Peter Smith

Category Theory: Lecture Notes and Online Books

Teach Yourself Logic: A Study Guide (and Other Book Notes) – Logic Matters

Teach Yourself Logic 2017: A Study Guide

LaTeX for Logicians

Category Theory: A Gentle Introduction

Category Theory: Reading Lists

Teach Yourself Logic: A Study Guide