Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Proof theory and automated deduction

by Goubault-Larrecq, Jean | Mackie, Ian.

Series: Applied logic seriesMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Kluwer Academic 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GOU.

BOOKS
Non Hausdorff topology and domain theory Selected topics in point set topology

by Goubault Larrecq, Jean.

Series: New mathematical monographs; 00022Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Cambridge university press ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 20 Call number: 515.1 GOU.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha