Lindstom's Characterization of First Order Logic | Department of Mathematics
  1. Home
  2. Lindstom's Characterization of First Order Logic

Lindstom's Characterization of First Order Logic

Event Information
Speaker: 
Jared Holshouser
Event Location: 
GAB 461
Event Date: 
Wednesday, September 10, 2014 - 4:30pm
Abstract: "This is the first part of two talks. We will review the highlights of first order logic and define the notion of an abstract logic."