Für diesen Artikel ist leider kein Bild verfügbar.

Computable Set Theory

Domenico Cantone (Autor)

Buch | Hardcover

359 Seiten

1990
Clarendon Press (Verlag)
978-0-19-853807-3 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

A description of computational techniques for deciding formulae in set theory. Such techniques aim to automate simple proofs over a wide range of mathematical areas. In this book, a successful series of investigations in elementary set theory is reported on.

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.

Introduction; PART 1: FUNDAMENTALS; Classes and orderings; The validity problem; A partial solution to the finite satisfiability problem; Elementary syllogistics; Multi-level syllogistic; Restricted quantifiers, ordinals and w; PART 2: EXTENDED MULTI-LEVEL SYLLOGISTICS; The powerset operator; MAP constructs; The Unionset operator; The Choice operator

Erscheint lt. Verlag	1.5.1990
Co-Autor	A. Ferro, E Omodeo
Zusatzinfo	line illustrations, bibliography
Verlagsort	Oxford
Sprache	englisch
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-19-853807-3 / 0198538073
ISBN-13	978-0-19-853807-3 / 9780198538073
Zustand	Neuware