Coverart for item
The Resource Computational logic and set theory : applying formalized logic to analysis, Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, (electronic book)

Computational logic and set theory : applying formalized logic to analysis, Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, (electronic book)

Label
Computational logic and set theory : applying formalized logic to analysis
Title
Computational logic and set theory
Title remainder
applying formalized logic to analysis
Statement of responsibility
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
E7B
http://library.link/vocab/creatorName
Schwartz, Jacob T
Dewey number
511.322
Index
index present
LC call number
QA248
LC item number
.S39 2011eb
Literary form
non fiction
Nature of contents
  • standards specifications
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Cantone, Domenico
  • Omodeo, Eugenio G
http://library.link/vocab/subjectName
Set theory
Label
Computational logic and set theory : applying formalized logic to analysis, Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR747413785
Dimensions
unknown
Extent
1 online resource (xvii, 416 p.)
Form of item
online
Isbn
9780857298072
Specific material designation
remote
Label
Computational logic and set theory : applying formalized logic to analysis, Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR747413785
Dimensions
unknown
Extent
1 online resource (xvii, 416 p.)
Form of item
online
Isbn
9780857298072
Specific material designation
remote

Library Locations

Processing Feedback ...