First-Order Logic from a Naproche Perspective

Explore first-order logic (FOL) from the unique perspective of Naproche in this insightful 24-minute lecture by Peter Koepke at the School on Formal Mathematics. Gain valuable insights into the intersection of formal logic and natural language processing as part of the event organized by Michael Kohlhase, Jacques Carette, Valeria de Paiva, and Josef Urban at the Hausdorff Center for Mathematics in Bonn, Germany.

Peter Koepke: FOL from a Naproche perspective