Structural proof theory Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta

By:

Contributor(s):

Publication details: Cambridge Cambridge University Press 2001Description: xvii, 257 p. ; 24 cmISBN:

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 NEG (Browse shelf(Opens below))	Available		240746

Previous								Next
Previous	511.3 MEN Introduction to mathematical logic	511.3 MIS Various Aspects of Multiple Zeta Functions - in Honor of Professor Kohji Matsumoto'S 60Th Birthday - Proceedings of The international Conference	511.3 MOR Fuzzy automata and languages : theory and applications	511.3 NEG Structural proof theory	511.3 NOV Mathematical principles of fuzzy logic	511.3 OTT introduction to Category Therory	511.3 OTT introduction to Category Therory	Next

Includes bibliographical references (p. 245-249) and indexes

There are no comments on this title.

to post a comment.

Find us on the map