Your search returned 37 results.

Results
	21.	Proceedings of the summer school and colloquium in mathematical logic /ed. by R.O. Gandy and C.M.E. Yates by Gandy, R.O., ed Logic Colloquium'69 Manchester 1969 Yates, C.M.E., ed Series: Studies in Logic and the Foundations of Mathematics Material type: Text Publication details: Amsterdam North-Holland Pub.Co 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N713.
	22.	Conference on .... /ed. by W. Marek, M. Srebrnu and A. Zarach by Marek, W. Srebrny, M. Zarach, A Set Theory and Hierarchy Theory : A Memorial Tribute to Andrzej Mostowski Bierutowice 1975 Series: Lecture notes in Mathematics Material type: Text Publication details: Berlin Springer-Verlag 1976 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.8 N761.
	23.	Mathematical logic by J. Donald Monk. by Monk, J. Donald Series: Graduate texts in mathematics ; 37 Material type: Text Publication details: New York Springer-Verlag 1976 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N764. Place hold
	24.	Sets Naive, Axiomatic and Applied by D. Van Dalen by Van Dalen, D Series: International series in pure and applied mathematics V.106 Material type: Text Publication details: Oxford Pergamon 1978 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.32 N78;1. Place hold
	25.	First order categorical logic model-theoretical methods in the theory of topoi and related categories by Michael Makkal, Gonzalo E. Reyes by Makkal, Michael Reyes, Gonzalo E Series: Lecture notes in mathematics 611 Material type: Text Publication details: Berlin Springer-Verlag 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.53 N77.
	26.	Handbook of mathematical logic ed. by John Barwise. by Barwise, John., ed Series: Studies in logic and the foundations of mathematics ; V.90 Material type: Text Publication details: Amesterdam North-Holland Pub.Co. 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N774.
	27.	Model Theory An Introduction by Marker, D Material type: Text Publication details: Springer-Verlag New York, Incorporated 2002 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 . Place hold
	28.	Model Theory An Introduction by Marker, D Material type: Text Publication details: Springer-Verlag New York, Incorporated 2002 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 . Place hold
	29.	Model Theory by Wilfrid Hodges by Hodges, Wilfrid Series: Encyclopedia of mathematics and its Applications ; No.42 Material type: Text Publication details: Cambridge Cambridge Univ. Press 1993 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.8 N93. Place hold
	30.	Finite model theory by Heinz-Dieter Ebbinghaus and Jorg Flum by Ebbinghaus, Heinz-Dieter Flum, Jorg Series: Springer monographs in mathematics Edition: 2nd ed. Material type: Text Publication details: Berlin Springer 2006 Availability: Items available for loan: Mathematics (1)Call number: 511.3 P061 (MA). Place hold
	31.	Shorter model theory by Wilfrid Hodges by Hodges, Wilfrid Material type: Text Publication details: Cambridge CUP 1997 Availability: Items available for loan: Mathematics (1)Call number: 511.8 N972 (MA). Place hold
	32.	Axiom of determinacy, Forcing Axioms, and the nonstationary ideal by W Hugh Woodin by Woodin, W Hugh Series: Series in logic and its applications 1 Edition: 2nd ed Material type: Text Publication details: New York De Gruyter 2010 Availability: Items available for loan: Mathematics (1)Call number: 511.3 P102 (MA). Place hold
	33.	Introduction to sofic and hyperlinear groups and conne's embedding conjecture by Valerio Capraro and Martino Lupini by Capraro, Valerio Lupini, Martino Series: Lecture notes in mathematics; 2136 ; Material type: Text Publication details: Heidelberg Spriger 2015 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.2 P151. Place hold
	34.	No cover image available Models, modules and abelian groups in memory of A.L.S. Corner edited by Rudiger Gobel and Brendan Goldsmith Material type: Text Publication details: Berlin Walter De Gruyter 2008 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512 MOD/G. Place hold
	35.	Combinatorial set theory with a gentle introduction to forcing by Lorenz J. Halbeisen by Halbeisen, Lorenz J, Series: Springer monographs in mathematics ; Edition: 2nd ed. Material type: Text Publication details: London ; New York Springer-Verlag London Ltd. 2017 Availability: Items available for loan: Computer Science and Automation (1)Call number: 511.322 HAL. Place hold
	36.	Logic of partial Information by Abdallah, Areski Nait Series: Monographs in theoretical computer science Material type: Text Publication details: Germany Springer-verlag 1995 Availability: No items available.
	37.	Logic of partial Information by Abdallah, Areski Nait Series: Monographs in theoretical computer science Material type: Text Publication details: Germany Springer-verlag 1995 Availability: No items available.

Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832