Call Boomerang Books 1300 36 33 32

Description - Extensions of First-Order Logic by Maria Manzano

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.

Buy Extensions of First-Order Logic by Maria Manzano from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521019026
ISBN-10: 0521019028
Format: Paperback
(247mm x 174mm x 21mm)
Pages: 412
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 31-May-2005
Country of Publication: United Kingdom

Other Editions - Extensions of First-Order Logic by Maria Manzano

Book Reviews - Extensions of First-Order Logic by Maria Manzano

» Have you read this book? We'd like to know what you think about it - write a review about Extensions of First-Order Logic book by Maria Manzano and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Books By Maria Manzano

Model Theory by Maria Manzano
Hardback, April 1999
$216.86