Cover unavailable English Unordered ACM Transactions on Computational Logic Bauer, Matthew S. 2014 March 06 View book
