Extensions of First-Order Logic Image close
Extensions of First-Order Logic by Maria Manzano
Extensions of First-Order Logic by Maria Manzano
Show Hide Adult Content
Extensions of First-Order Logic close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Extensions of First-Order Logic

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$219.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $54.75 with Afterpay Learn more

6 weekly interest-free payments of $36.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Logic and Computation by Lawrence C. Paulson
$167.00
Logic and Computation
by Lawrence C. Paulson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi by Roberto M. Amadio
$183.00
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Basic Simple Type Theory by J. Roger Hindley
$134.00
Basic Simple Type Theory
by J. Roger Hindley ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Metamathematics, Machines and Gödel's Proof by N. Shankar
$142.00
Metamathematics, Machines and Gödel's Proof
by N. Shankar ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Topology via Logic by Steven Vickers
$177.00
Topology via Logic
by Steven Vickers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Topics in Bisimulation and Coinduction on Hardback
$347.00
Advanced Topics in Bisimulation and Coinduction
Hardback
Available - Usually ships in 3-4 weeks
Rippling: Meta-Level Guidance for Mathematical Reasoning on Hardback by Alan Bundy
$345.00
Rippling: Meta-Level Guidance for Mathematical Reasoning
by Alan Bundy ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithmic Information Theory by Gregory J Chaitin
$159.00
Algorithmic Information Theory
by Gregory J Chaitin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi on Hardback by Roberto M. Amadio
$449.00
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Hardback
Available - Usually ships in 3-4 weeks
Basic Proof Theory by A.S. Troelstra
$161.00
Basic Proof Theory
by A.S. Troelstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Free Choice Petri Nets by Jorg Desel
$132.00
Free Choice Petri Nets
by Jorg Desel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Basic Simple Type Theory on Hardback by J. Roger Hindley
$309.00
Basic Simple Type Theory
by J. Roger Hindley ~ Hardback
Available - Usually ships in 3-4 weeks
Mathematical Theory of Domains by V. Stoltenberg-Hansen
$199.00
Mathematical Theory of Domains
by V. Stoltenberg-Hansen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modal Logic by Patrick Blackburn
$288.00
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types by D.A. Wolfram
$99.00
The Clausal Theory of Types
by D.A. Wolfram ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Epistemic Logic for AI and Computer Science by J.-J Ch. Meyer
$193.00
Epistemic Logic for AI and Computer Science
by J.-J Ch. Meyer ~ Paperback / softback
Available - Usually ships in 3-4 weeks

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 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.
Release date NZ
August 22nd, 2005
Author
Audience
  • Professional & Vocational
Pages
412
Dimensions
170x244x21
ISBN-13
9780521019026
Product ID
1969001

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Maria Manzano

See all books by this author

Model Theory on Hardback by Maria Manzano
$663.00
Model Theory
by Maria Manzano ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic