num_pages: 427
description: An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
language: English
title: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
titlecomplete: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
ratings_count: 1
publisher: Springer