Decision Procedures for Elementary Sublanguages of Set Theory; Vi; Multi-Level Syllogistic Extended by the Powerset Operator (Classic Reprint) - Rilegato

Cantone, D.

Rilegato

ISBN 10: 0267866801 ISBN 13: 9780267866809

Casa editrice: Forgotten Books, 2018

Riassunto

Excerpt from Decision Procedures for Elementary Sublanguages of Set Theory; Vi; Multi-Level Syllogistic Extended by the Powerset Operator

Definition A place a of P is a O/l-valued function defined on the set of all variables in P such that c(x) a(y) V a(z) (resp. C(x) a(y) |~g429) if x y U z (resp. X y z), belongs to P, and such that c(x) E 0 if x G appears in P. Given a variable x, the place a is said tosbe:a place of P at x if a(y) (resp. A(y) 0) whenever x e y (resp. X d y) appears in P.

About the Publisher

Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com

This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.

Dettagli dell'edizione

• Editore: Forgotten Books
• Data di pubblicazione: 2018
• Lingua: Inglese
• ISBN 10: 0267866801
• ISBN 13: 9780267866809
• Rilegatura: Copertina rigida
• Numero di pagine: 46
• Contatto del produttore: non disponibile
• Persona responsabile: Bärenreiter-Verlag Karl Vötterle GmbH & Co. KG; bscheuch@baerenreiter.com; ; Heinrich-Schütz-Allee 35-37; Kassel; Germania; 34131; Germania