read all of Enderton

typeset and read and understand my Feferman notes

read and understand all Pratt's course notes (universal algebra, category theory, chu spaces)

proof theory

How does "intuition" help proops? Also, intuitionistic logic and intermediate logics

"Classical logic is the only coatom in the lattice of superintuitionistic logics; the lattice of intermediate logics also has a unique coatom, namely SmL?."

"Smetanich's logic (SmL?): IPC + (¬q → p) → (((p → q) → p) → p)" note: (((p → q) → p) → p) is Pierce's law

curry-howard isomorphism


computation and types

curry-howard isomorphism