Meinke K., J. V. TuckerMany-sorted Logic and it Applications Chichester John Wiley & Sons Inc 1993 0471934852 / 9780471934851 Hardcover Fair Hardcover Clean with no highlighting or marks inside. The book is nearly as new condition. 537 pages with the index.We can ship from the USA and Canada. We list books that are academic, collectible and historically significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us.