Computable Set Theory
Author:   Domenico Cantone ,  A. Ferro ,  E Omodeo ,  E Omodeo (Department of Mathematics, Universita degli Studi di Udine, Italy)
Publisher:   Oxford University Press
Volume:   6
ISBN:  

9780198538073


Pages:   359
Publication Date:   01 March 1990
Format:   Hardback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $69.95 Quantity:  
Add to Cart

Share |

Computable Set Theory


Overview

The authors describe computational techniques for deciding formulae in set theory. The eventual aim of such a work is to automate simple proofs over a wide range of mathematical areas. This volume reports on a successful series of investigations in one of the most important sub-domains: elementary set theory. This book is intended for computer scientists; set theorists; logicians.

Full Product Details

Author:   Domenico Cantone ,  A. Ferro ,  E Omodeo ,  E Omodeo (Department of Mathematics, Universita degli Studi di Udine, Italy)
Publisher:   Oxford University Press
Imprint:   Clarendon Press
Volume:   6
Dimensions:   Width: 15.00cm , Height: 2.70cm , Length: 23.00cm
Weight:   0.740kg
ISBN:  

9780198538073


ISBN 10:   0198538073
Pages:   359
Publication Date:   01 March 1990
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now