University of Zambia Logo University Of Zambia Online Public Access Catalogue

Normal view MARC view ISBD view

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 theory
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Copy number Status Date due Barcode
Book Book Main Library
On Shelf
Non-fiction QA 248 SCH 2011 (Browse shelf) 1 Available 33729001641369

Includes index

There are no comments for this item.

Log in to your account to post a comment.