Big Models

Activity: Talk or presentation › Invited talk › Academic

Period16 Dec 2015
Event titleCoherence and Truth, conference in memoriam Franco Montagna
Event typeConference
LocationPontignano, ItalyShow on map

Keywords

  • modal logic
  • arithmetic
  • non-standard models