Your price
Out of Stock

Many-sorted Logic and Its Applications

Edited by J. V. Tucker, K. Meinke
Format: Hardback
Publisher: John Wiley and Sons Ltd, Chichester, United Kingdom
Imprint: John Wiley & Sons Ltd
Published: 11th Jan 1993
Dimensions: w 155mm h 235mm d 31mm
Weight: 760g
ISBN-10: 0471934852
ISBN-13: 9780471934851
Barcode No: 9780471934851
This is a comprehensive introduction to many-sorted logic - a variety of classical logic with applications to computer science, artificial intelligence and mathematics. Computer science is essentially many-sorted; its reasoning is based on composite structures, such as elements and functions, data and programmes, data and time. Following a detailed introduction to the theory of many-sorted first-order logic as a universal logic encompassing a range of other logical systems, the book then focuses on its important application areas within computer science research. It requires only a basic knowledge of mathematical logic and will be of value to computer scientists, mathematicians and philosophers.

New & Used

Seller Information Condition Price
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now