Computational logic and set theory : applying formalized logic to analysis / Jacob T. Schwartz; Domenico Cantone and Eugenio G. Omodeo; foreword by Martin Davis
By: Schwartz, Jacob T.
Contributor(s): Cantone, Domenico [author] | Omodeo, Eugenio G [author] | Davis, Martin [foreword].
Publisher: New York : Springer, 2011Description: xvii, 416 pages : illustrations.ISBN: 9780857298072.Subject(s): Set theoryItem type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Main Library On Shelf | Non-fiction | QA 248 SCH 2011 (Browse shelf) | 1 | Available | 33729001641369 |
Includes index
There are no comments for this item.