Libor Behounek
Profile
-
Data
,
Activities
,
Contact Info
Logic
-
Affiliation
,
Interests
,
Papers
,
Editing
,
Teaching
,
CV
Shortcuts:
Category theory
(ST 2012/13 course at FF UK),
Mathematical Logic
and
Logic and Set Theory
(ST 2012/13 courses at PrF OU)
Games
-
FreeCiv scenarios
,
Mentula board game
,
Pure Nomic