Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 12 results. Subscribe to this search

|
1. MODELS AND ULTRAPRODUCTS

by Bell, J. L | Slomson, A. B.

Material type: book Book; Format: print ; Literary form: not fiction Description: 322.Publisher: Amsterdam North-Holland 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 B413] (1).

2. CONSTRUCTIBLE SETS WITH APPLICATIONS

by Mostowski, Andrzej.

Material type: book Book; Format: print ; Literary form: not fiction Description: 269.Publisher: Amsterdam North-Holland Pub. Co. 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.817 M855c] (1).

3. AN INTRODUCTION TO STABILITY THEORY

by Pillay, Anand.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,146.Publisher: Oxford Clarendon 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P644i] (1).

4. Beginning model theory : the completeness theorem and some consequences

by Bridge, Jane.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii, 143p.Publisher: Oxford Clarendon Press 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B764B COP.3] (2).

5. MODEL-THEORETIC LOGICS

by Barwise, J., ed. Feferman, S., ed.

Material type: book Book Description: xviii,893.Publisher: New York Springer-Verlag c1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 M72] (1).

6. SHORTER MODEL THEORY

by Hodges,Wilfrid.

Material type: book Book Description: x,310.Publisher: Cambridge Univ. Press, Cambridge c1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 H667S] (1).

7. MODEL THEORY

by Chang,C C | Keister,H J.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: xvi,650.Publisher: North-Holland, Amsterdam 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 C362M3] (1).

8. Perspectives in mathematical logic

by Feferman, S. [ed.].

Edition: 2nd rev.Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,360.Publisher: Springer-Verlag, Berlin 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Eb18f2] (1).

9. COURSE IN MODEL THEORY

by Poizat,Bruno | Klein,Moses.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxxi,443.Publisher: Springer-Verlag, New York 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 P756CE] (1).

10. APPLICATIONS OF MODEL THEORY TO ALGEBRA, ANALYSIS, AND PROBABILITY

by Luxemburg, W. A. J.

Description: 307.Publisher: New York Rinehart And Winston 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501.01 In8a] (1).

11. APPLICATIONS OF MODEL THEORY TO ALGEBRA, ANALYSIS, AND PROBABILITY

by Luxemburg, W. A. J.

Description: 307.Publisher: New York Rinehart And Winston 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501.01 In8a] (1).

12. LOGIC COLLOQUIUM' 82

by Lolli, G | Longo, G | .

Description: viii,358.Publisher: Amsterdam North-Holland 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 L829] (1).

Powered by Koha