[godelmachine]

I live in Pune right now. Can't think of any such library. Libraries here aren't equipped well with such technical subjects.