9781332887477 - decision procedures for elementary sublanguages of set theory; vi; multi-level syllogistic extended by the powerset operator (classic reprint) de cantone, d. (3 resultados)
- Tapa blanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 25,06
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 24,55
Envío por EUR 3,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 15 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: Forgotten Books, London, Reino UnidoForgotten Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 15,73
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. Print on Demand. This book delves into the realm of understanding and resolving a particular undeclared theory of sets, specifically concerning the language involving empty sets, equality, membership, union, set differences, and powersets. The theory the author explores has been previously examined but… with the powerset operator omitted, while this book builds on that work by including it. Using techniques and ideas developed in the author's previous works, this text presents an algorithm that reveals whether any formula within this theory is satisfiable. Throughout the book, the author proves that the conditions presented are both necessary and sufficient for this satisfiability, marking an important contribution to the field. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
