9781333072308 - decision procedures for elementary sublanguages of set theory: x. multilevel syllogistic extended by the singleton and powerset operators (classic rep di cantone, d. (3 risultati)
- Brossura
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 24,65
Spedizione gratuitaSpedito in U.S.A.Quantità: 15 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 24,63
EUR 3,84 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 15 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Brossura
- Print on Demand
Da: Forgotten Books, London, Regno UnitoForgotten Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 15,71
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. Print on Demand. This book explores the intersection of set theory and propositional logic, focusing on the satisfiability problem and relationships to model theory. The author, a respected figure in mathematical logic, provides an in-depth analysis of the class of formulae involving set-theoretic ato…ms, Boolean operators, equality, and membership predicates. The book delves into decision procedures for these formulae, establishing solvable satisfiability problems for a specific class within this wider group. Moreover, it demonstrates a fundamental connection between satisfiability and the existence of hereditarily finite models for these formulae, providing novel insights into the interplay between syntax and model theory. Through detailed proofs and technical exposition, this book offers a significant contribution to the study of set theory and its applications in propositional logic and model theory. 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.
