Set Theory for Computing
Subtitle: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Contributors: J.T. Schwartz (Foreword)
Publisher: Springer
Published: June 26, 2001
Language: eng
Number of pages: 409
ISBN-13: 9780387951973
First sentence: Set theory, conceived toward the end of the nineteenth century, shaped the language of today's mathematics.