Logical Foundations of Computer Science - Tver '92 - häftad, Engelska, 1992