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

Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwatz.

Saved in:
Bibliographic Details
Main Authors: Cantone, Domenico (Author), Omodeo, Eugenio (Author), Policriti, Alberto (Author)
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
9780387951973
Availability

City Campus

  • Call Number:
    511.322 CAN
    Copy
    Available - City Campus Main Collection
Requests
Request this item Request this AUT item so you can pick it up when you're at the library.
Interlibrary Loan With Interlibrary Loan you can request the item from another library. It's a free service.
Similar Items