University of Zambia Library

Your cart is empty.

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
Browsing Main Library Shelves , Shelving location: On Shelf , Collection code: Non-fiction Close shelf browser
No cover image available No cover image available
QA 241 FOR 2015 The whole truth about whole numbers : QA 248 HAU 1962. Set theory / QA 248 ROU 2012 Rough sets : QA 248 SCH 2011 Computational logic and set theory : QA 251 LED 1996 Linear algebra / QA 255 BUD 1968 Complex numbers and their applications / QA 268 .45 SHI 2017 Codes and rings :

Includes index

There are no comments for this item.

Log in to your account to post a comment.