Computational logic and set theory : applying formalized logic to analysis :: Jacob T. Schwartz :: ISBN 9780857298072 :: Springer 2011 :: OBNB, the Open British National Bibliography

Publication Data

Title Computational logic and set theory : applying formalized logic to analysis
Author Jacob T. Schwartz
Contributors Domenico Cantone, Eugenio Omodeo
Publisher Springer
Publication date 2011
Publication location London
Language English

Topics

Proof theory
Set theory
015965623

Catalogue Data

OBNB ID GBB1C9728
ISBN 10 0857298070
ISBN 13 9780857298072
Type BibliographicResource, Book
Dewey Classification 511.36

ISBD

P1053 xvii, 416 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Computational logic and set theory : applying formalized logic to analysis by Jacob T. Schwartz. ISBN 9780857298072. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.