Dover Books on Mathematics: Foundations of Mathematical LogicHaskell Brooks CurryAusverkauft3,6Bewachen
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical FoundationsYoav ShohamAusverkauft3,8Bewachen