Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.].

by Buchholz, Wilfried.

Series: Lecture notes in mathematics (Springer-Verlag) ; 897.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer-Verlag 1981Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 40 Call number: 51 LNM.

E-BOOKS
Whitehead Groups of Finite Groups / Robert Oliver.

by Oliver, Robert [author.].

Series: London Mathematical Society Lecture Note Series ; no. 132Material type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Parabolic subgroups of algebraic groups and induction / [electronic resource] David C. Vella.

by Vella, David C, 1954-.

Series: Memoirs of the American Mathematical Society ; v. 347Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I., USA : American Mathematical Society, 1986Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Non-additive exact functors and tensor induction for Mackey functors / [electronic resource] Serge Bouc.

by Bouc, Serge, 1955-.

Series: Memoirs of the American Mathematical Society ; v. 683Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, RI : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

BOOKS
Advanced topics in bisimulation and coinduction / Jan Rutten.

by Sangiorgi, Davide | Sangiorgi, Davide | Rutten, J. J. M. M.

Series: Cambridge tracts in theoretical computer science ; 52Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge ; New York : Cambridge University Press, 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAN.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha