Math 125A: Mathematical Logic

Math 125A: Mathematical Logic is a required class for the mathematics major at UC Berkeley. During Fall 2023, I took this class to satisfy my logic requirement with Professor Gabriel Goldberg.

The reference book for this class is A mathematical introduction to logic by Herbert Enderton. Most of my notes for this class is a combination of references from this book and Gabe’s lecture notes.

The notes for this class was typed in Latex using a customized format. Please click the button to access the notes.