Elementary Logic
Benson Mates is at University of California, Berkeley.