Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Feasible Mathematics : Mathematical Sciences Institute Workshop, Ithaca, 1989 : (PCSAL 9)

by Buss, Samuel R. Ed | Scott, Philip J. Ed.

Series: Progress in Computer Science and Applied Logic, 9Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 42 Call number: 681.3 BUSS.

BOOKS
Handbook of Proof Theory : (SL 137)

by Buss, Samuel R. Ed.

Series: Studies in Logic, 137Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BUSS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha