Libor Behounek

• Profile

  - About, Links, Contact

• Logic

  - Affiliation, Interests, Papers, Editing, Teaching, CV
  Shortcut: LOTEM (course at Uni Ostrava)

• Miscellanea

  - Games - FreeCiv, Mentula, Nomic