Logical Foundations Of Computer Science (In 2 Volumes) - inbunden, Engelska, 2024