CURAJ Library

Welcome to CURAJ Library!

Image from Google Jackets

Proof theory : a selection of papers from the leeds proof theory programme 1990 edited by Peter Aczel, Harold Simmons and Stanley S Wainer

Contributor(s): Aczel, Peter [Editor] | Simmons, Harold [Editor] | Wainer, Stanley S [Editor]Material type: TextTextPublication details: Cambridge university press 2011 ISBN: 9780511896262Subject(s): Mathematics | Categories and sets | Logic | Computer science | Programming languages and applied logicOnline resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
E-book E-book Central University Of Rajasthan
Not for loan EB3346

There are no comments on this title.

to post a comment.