Computer science logicde Matthias BaazMateriasComputer logicCongressesComputers, congressesEdiciones (1)Computer science logic (2003)Springer · inglésMás obras de Matthias BaazLogic Colloquium '012005Kurt Gödel and the foundations of mathematicsLogic for programming, artificial intelligence, and reasoning