Computable Set Theory - Couverture rigide

Cantone, Domenico

Couverture rigide

ISBN 10 : 0198538073 ISBN 13 : 9780198538073

Editeur : Clarendon Press, 1990

Synopsis

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.

Détails de l'édition

• Éditeur: Clarendon Press
• Date d'édition: 1990
• Langue: anglais
• ISBN 10: 0198538073
• ISBN 13: 9780198538073
• Reliure: Relié
• Nombre de pages: 359
• Coordonnées du fabricant: non disponible
• Personne responsable: Messaggerie Libri; ufficio.anagrafiche@meli.it; ; Via Verdi, 8; Assago Milano; Italie