Your search returned 37 results.

Sort
Results
1.
Mathematical logic an introduction to model theory by A. H. Lightstone, ed. by H. B. Enderton by Series: Mathematical concepts and methods in science and engineering 9
Material type: Text Text
Publication details: New York Plenum 1978
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N781;1.

2.
Fundamentals of stability theory by John T. Baldwin by Series: Perspectives in mathematical logic
Material type: Text Text
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.8 N88.

3.
Logic of partial information by areski Nait Abdallah by Series: Monographs in theoretical computer science-An EATCS Series
Material type: Text Text
Publication details: Berlin Springer-verlag 1995
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N951.

4.
Course of mathematical logic model theory, V.2 by Roland Fraisse by Series: Synthese Library V.69
Material type: Text Text
Publication details: Boston D. Reidel Pub. Co. 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N74.2.

5.
Models of ZF-set theory /by Ulrich Felgner by Series: Lecture Notes in Mathematics
Material type: Text Text
Publication details: Berlin Springer-Verlag 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N715.

6.
Course in mathematical logic by J. L. Bell and M. Machover, by
Material type: Text Text
Publication details: Amsterdam North-Holland Pub.Co. 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N777.

7.
Set theory an introduction to large cardinals by Frank R. Drake, by Series: Studies in Logic and the Foundations of Mathematics ; V.76
Material type: Text Text
Publication details: Amsterdam North-Holland Pub. Co. 1974
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N742.

8.
Introduction to axiomatic set theory by G. Takeuti, W. M. Zaring by
Material type: Text Text
Publication details: New York Springer-Verlag 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N71.

9.
Mathematical logic an introduction to model theory by A. H. Lightstone, ed. by H. B. Enderton by Series: Mathematical Concepts and Methods in Science and Engineering 9
Material type: Text Text
Publication details: New York Plenum Press 1978
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N781.

10.
Intuitionistic logic model theory and forcing /by Melvin Chris Fitting by Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Text
Publication details: Amsterdam North-Holland Pub.Co 1969
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.2 N69.

11.
Logic in algebraic form three languages and theories by William Craig, by Series: Studies in Logic and the Foundations of Mathematics ; V.72
Material type: Text Text
Publication details: Amsterdam North-Holland Pub. Co. 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N741.

12.
Simplified independence proof boolean valued models of set theory by J. Barkley Rosser by Series: Pure and Applied Mathematics ; V.31, A Series of Monographs and Text books
Material type: Text Text
Publication details: New York Academic Press 1969
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N691.

13.
Admissible sets and structures an approach to definability theory by Jon Barwise. by Series: Perspectives in mathematical logic
Material type: Text Text
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N755.

14.
Infinitary logic in memoriam Carol Karp ed. by D. W. Kueker. by Series: Lecture Notes in Mathematics ; Vol.492
Material type: Text Text
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N75.

15.
Sets and classes on the work by Paul Bernays by Gert H. Mullker by Series: Studies in Logic and the Foundations of Mathematics V.8
Material type: Text Text
Publication details: Amsterdam North-Holland Pub. Co. 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.32 N76.

16.
Classification theory and the number of non-isomorphic models by S. Shelah by Series: Studies in Logic and the Foundation of Mathematics V.92
Material type: Text Text
Publication details: Amsterdam North-Holland pub. co. 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.8 N781.

17.
Classification theory and the number of non-isomorphic models by S. Shelah by Series: Studies in Logic and the Foundation of Mathematics V.92
Material type: Text Text
Publication details: Amsterdam North-Holland pub. co. 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.8 N781;1.

18.
Model theory and algebra a memorial tribute to Abraham Robinson ed. by D. H. Saracino, V. B. Weispfenning. by Series: Lecture Notes in Mathematics 498
Material type: Text Text
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N751.

19.
Model theoretic algebra selected topics by Greg Cherlin. by Series: Lecture Notes in Mathematics ; 521
Material type: Text Text
Publication details: Berlin Springer-Verlag 1976
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N76.

20.
Introduction to axiomatic set theory by G. Takeuti, W. M. Zaring. by Series: Graduate Texts in Mathematics ; 1
Material type: Text Text
Publication details: New York Springer-Verlag 1971
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N716.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832