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

Cantone, D.

Hardcover

ISBN 10: 0267866801 ISBN 13: 9780267866809

Verlag: Forgotten Books, 2018

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Forgotten Books
• Erscheinungsdatum: 2018
• Sprache: Englisch
• ISBN 10: 0267866801
• ISBN 13: 9780267866809
• Einband: Tapa dura
• Anzahl der Seiten: 46
• Kontakt zum Hersteller: Nicht verfügbar