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

Many-sorted Logic and Its Applications (Hardback)

(editor), (editor)
£85.00
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
£36.99
Paperback
Basic Category Theory
Added to basket
Godel's Proof
Added to basket
£11.99
Paperback
How to Prove It
Added to basket
Introducing Infinity
Added to basket
Logic
Added to basket
£10.99
Paperback
Introduction To Error Analysis
Added to basket
An Introduction to Non-Classical Logic
Added to basket
Sets, Logic and Categories
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.