Proof theory and automated deduction by Jean Goubault-Larrecq and Ian Mackie

By:

Contributor(s):

Publication details: Dordrecht ; Boston Kluwer Academic c1997Description: xv, 424 p. : ill. ; 25 cm., : alk. paperISBN:

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 GOU (Browse shelf(Opens below))	Available		318029

Previous	No cover image available						No cover image available	Next
Previous	511.3 GOL Cellular automata and complex systems	511.3 GON Mathematical Logic Through Python	511.3 GOO Lectures on petri nets : advances in Petri nets	511.3 GOU Proof theory and automated deduction	511.3 GRA George Boole : selected manuscripts on logic and its philosophy	511.3 GRI New constructions in cellular automata	511.3 HAM Logic for mathematicians	Next

Includes bibliographical references (p. 407-413) and index

There are no comments on this title.

to post a comment.

Find us on the map