Libor Behounek

• Profile

  - About, Contact

• Logic

  - Updates, Affiliation, Papers, Editing, Teaching, CV

• Miscellanea

  - Games - FreeCiv, Mentula, Nomic