Cover Image

Set theory for computing : from decision procedures to declarative programming with sets /

Show other versions (1)
Bibliographic Details
Main Author: Cantone, Domenico
Other Authors: Omodeo, Eugenio, Policriti, Alberto
Format: Book
Language:English
Published: New York : Springer, [2001]
Series:Monographs in computer science.
Subjects:
Set theory.
Computable functions.
Description
Physical Description:xviii, 409 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [374]-391) and index.
ISBN:0387951970 (alk. paper)