Dover Books on Mathematics: Foundations of Mathematical LogicHaskell Brooks CurryVypredaná3,6Postrážiť
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical FoundationsYoav ShohamVypredaná3,8Postrážiť