Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Proof theory Sequent calculi and related formalisms

by Bimbo, Katalin.

Series: Discrete mathematics and its applicationsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boca raton ; CRC Press ; 2015Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BIM.

BOOKS
J. Michael Dunn on Information Based Logics

by Bimbo, Katalin. Ed.

Series: Outstanding Contributions to Logic ; 00008Material type: Text Text Publication details: Switzerland Springer International Publishing 2016Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BIM.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha