MOPA has a new schedule
Models of Peano Arithmetic aka MOPA starts next week. We will meet on Wednesdays 4:50 – 5:50 in GC 6300 (new location).
New York Logic
|Logic talks and events in New York
Models of Peano Arithmetic aka MOPA starts next week. We will meet on Wednesdays 4:50 – 5:50 in GC 6300 (new location).