Libor Behounek
Profile
-
About
,
Links
,
Contact
Logic
-
Affiliation
,
Interests
,
Papers
,
Editing
,
Teaching
,
CV
Shortcut:
LOTEM
(course at Uni Ostrava)
Miscellanea
-
Games
-
FreeCiv
,
Mentula
,
Nomic