English Unordered Journal of Logic and Computation Soskova, A.; Barry Cooper, S.; Sorbi, A. 2011 August 11 View book