notre_dame_de_la_garde.jpeg

Quine’s Fluted Fragment is Non-elementary

  • Ian Pratt-Hartmann
  • Wiesław Szwast
  • Lidia Tendera

Schedule

  • Sept. 1, 2016, 14:00 - 16:00(Complexity and decision for logical theories session)

Attachments