Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Theory of deductive systems and its applications

by Maslov, S.Yu.

Series: Foundations of computing seriesMaterial type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 10 Call number: 681.3 MAS.

BOOKS
Labelled Deductive Systems, Vol.1

by Gabbay, Dov M.

Series: Oxford Logic Guides, 33Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; OUP ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha