Introduction to Logic

Simple handout I made in grad school.

I prefer to dispense with unnecessary exposition.


Set-theoretic

Axiomatic Introduction

An axiomatic introduction to propositional logic:


Axiomatic