|
![]() |
|||
|
||||
OverviewTogether, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist. Full Product DetailsAuthor: S Barry Cooper (University of Leeds, UK) , John K Truss (University of Leeds)Publisher: Cambridge University Press Imprint: Cambridge University Press ISBN: 9781299405233ISBN 10: 1299405231 Publication Date: 17 June 1999 Audience: General/trade , General Format: Electronic book text Publisher's Status: Active Availability: Available To Order ![]() We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |