Making It Explicit. Reasoning, Representing, and Discursive CommitmentRobert BrandomÉpuisé4,5Prévenez-moi
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical FoundationsKevin Leyton-BrownÉpuisé3,8Prévenez-moi
Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevůmRaymond M. SmullyanÉpuisé4,5Prévenez-moi