Title: Utopie et uchronie
Subjects: Symbolic and mathematical Logic