Revision as of 08:14, 11 October 2012 by Wang1287 (Talk | contribs)

First Order Logic

Chenkai Wang

0. Introduction

1. The Language

2. Some Useful Metatheorems

Alumni Liaison

Meet a recent graduate heading to Sweden for a Postdoctorate.

Christine Berkesch