Items related to Extensions of First Order Logic: 19 (Cambridge Tracts...
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19) - Softcover
Synopsis
An introduction to many-sorted logic as an extension of first-order logic.
"synopsis" may belong to another edition of this title.
Review
"The book is well motivated and is easy and pleasant to read." Mohamed Amer, Mathematical Reviews
Book Description
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 work.
"About this title" may belong to another edition of this title.
Search results for Extensions of First Order Logic: 19 (Cambridge Tracts...
Stock Image
Extensions of First Order Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Published by
Cambridge University Press, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
Used
Softcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780521019026. Seller Inventory # 3736675
Buy Used
£ 61.49
£ 13.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 19) (Volume 0)
Published by
Cambridge University Press, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521019026
Stock Image
Extensions of First Order Logic (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521019028
ISBN 13: 9780521019026
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521019026
Buy New
£ 73.08
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 19) (Volume 0)
Published by
Cambridge University Press, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521019026_new
Buy New
£ 78.46
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Published by
Cambridge University Press, 2008
ISBN 10: 0521019028
ISBN 13: 9780521019026
New
Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. An introduction to many-sorted logic as an extension of first-order logic. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 412 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 21. Weight in Grams: 650. . 2008. Revised ed. paperback. . . . . Seller Inventory # V9780521019026
Buy New
£ 90.73
£ 8.15 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: Over 20 available
Stock Image
Extensions of First-Order Logic
Published by
Cambridge University Press, GB, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 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. Seller Inventory # LU-9780521019026
Buy New
£ 105.40
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Extensions of First-Order Logic
Published by
Cambridge University Press, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521019026
Buy New
£ 91.15
£ 17.55 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Published by
Cambridge University Press, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
New
Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. An introduction to many-sorted logic as an extension of first-order logic. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 412 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 21. Weight in Grams: 650. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780521019026
Stock Image
Extensions of First-Order Logic
Published by
Cambridge University Press CUP, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 412. Seller Inventory # 26401839
Stock Image
Extensions of First-Order Logic (Paperback)
Published by
Cambridge University Press, Cambridge, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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 work. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521019026
Buy New
£ 84.99
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available