Thirty five years of automating mathematics edited by Fairouz D. Kamareddine

Contributor(s):

Publication details: Dordrecht ; Boston, MA Kluwer Academic Publishers 2003Description: viii, 318 p. : ill. ; 25 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 KAM (Browse shelf(Opens below))	Available		211017

Previous								Next
Previous	511.3 JEC The axiom of choice	511.3 JOH Notes on logic and set theory	511.3 KAA Polynomial completeness in algebraic systems	511.3 KAM Thirty five years of automating mathematics	511.3 KAY The mathematics of logic : a guide to completeness theorems and their applications	511.3 KAY The mathematics of logic : a guide to completeness theorems and their applications	511.3 KLE Mathematical logic	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map