• Sign In
  • Help
  • My Basket0
Many-sorted Logic and Its Applications (Hardback)
  • Many-sorted Logic and Its Applications (Hardback)

Many-sorted Logic and Its Applications (Hardback)

(editor), (editor)
Hardback 416 Pages / Published: 11/01/1993
  • Not available

This product is currently unavailable.

  • This item has been added to your basket

Check Marketplace availability

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.

Publisher: John Wiley and Sons Ltd
ISBN: 9780471934851
Number of pages: 416
Weight: 760 g
Dimensions: 235 x 155 x 31 mm

You may also be interested in...

Measurements and their Uncertainties
Added to basket
Category Theory
Added to basket
Basic Category Theory
Added to basket
Godel's Proof
Added to basket
How to Prove It
Added to basket
Introducing Infinity
Added to basket
Added to basket
Introduction To Error Analysis
Added to basket
An Introduction to Non-Classical Logic
Added to basket
Sets, Logic and Categories
Added to basket


Please sign in to write a review

Your review has been submitted successfully.