For Book Status & Book Suggestions
Login Instructions: Institute ID No.
Login: f2024XXXX / h2024XXXX / p2024XXXX / h2024XXXX
PWD: Contact the library help desk

Library Working Hours During Recess
Monday to Friday	09:00 AM - 07:00 PM
Saturday	09:00 AM - 05:00 PM
Sundays & Holidays	Closed

Patron Checkouts
Patrons	No. of Books Issued	Loan Period	Overdue Charges
Faculty	25	6 months	Nil
Students	10	2 Weeks	Re. 1 Per Book Per Day
Research Scholars	15	30 Days	Nil
Staff	5	30 Days	Nil

Your search returned 5 results.

Not what you expected? Check for suggestions

Results
	1.	Finite model theory and its applications / Erich Gradel and others by Gradel, Erich Material type: Text; Format: print ; Literary form: Not fiction Language: ENG Publication details: India Springer 2007 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.34 GRA-E. Add to cart (remove)
	2.	E-recursion, forcing and C-algebras / edited by Chitat Chong, [and four others]. by edited by Chong, Chitat Chong, C.-T. (Chi-Tat), 1949- [editor.] Feng, Qi Slaman, Theodore A Woodin, W Hugh Yang, Yue Series: Lecture notes series, Institute for Mathematical Sciences, National University of Singapore ; vol. 27 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Singapore World Scientific 2014 Availability: Items available for loan:* BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.3 CHO-C. Add to cart (remove)
	3.	O-minimality and diophantine geometry / edited by G. O. Jones and A. J. Wilkie by edited by Jones, G. O Wilkie, A. J Series: London Mathematical Society Lecture Note Series : 421 Material type: Text; Literary form: Not fiction Publication details: United Kingdom Cambridge University Press 2015 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 516.35 JON-G. Add to cart (remove)
	4.	An invitation to model theory / Jonathan Kirby, University of East Anglia. by Kirby, Jonathan, 1979- [author.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Cambridge 2019 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.34 KIR-J. Add to cart (remove)
	5.	Model theory and the philosophy of mathematical practice : formalization without foundationalism / John T. Baldwin by Baldwin, John T Material type: Text; Literary form: Not fiction Publication details: United Kingdom Cambridge University Press 2018 Availability: Items available for loan: BITS Pilani Hyderabad (1)Location, call number: General Stack (For lending) 511.34 BAL-J. Add to cart (remove)

An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964
© 2024 BITS-Library, BITS-Hyderabad, India.