Your search returned 8 results.

Sort
Results
1.
Model theory. [By] C. C. Chang and H. J. Keisler. by
  • Chang, Chen Chung
  • Chang, Chen Chung
  • Keisler, H. Jerome
Series: Studies in logic and the foundations of mathematics ; 73
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam, New York, North-Holland Pub. Co.; American Elsevier, 1973
Availability: Items available for loan: Department of Mathematics (1)Call number: 510.67 CHA .

2.
Foundations of set theory.-2nded. [By] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levy. With the collaboration of Dirk van Dalen. by
  • Fraenkel, Abraham Adolf
  • Fraenkel, Abraham Adolf
  • Bar-Hillel, Yehoshua
  • Levy, Azriel
Series: studies in logic and the foundations of mathematics ; 67
Edition: 2d rev. ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam, Noord-Hollandsche U.M., 1973
Availability: Items available for loan: Department of Mathematics (1)Call number: 510.223 FRA.

3.
Harvey Friedman's research on the foundations of mathematics / edited by L.A. Harrington ... [et al.]. by
  • Harrington, L. A.ed
  • Friedman, Harvey
  • Harrington, L. A
Series: Studies in Logic and the foundations of mathematics ;117
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., c1985
Availability: Items available for loan: Department of Mathematics (1)Call number: 510.2 HAR.

4.
Set theory : with an introduction to descriptive set theory / K. Kuratowski and A. Mostowski. by
  • Kuratowski, Kazimierz
  • Kuratowski, Kazimierz
  • Mostowski, Andrzej
Series: Studies in logic and the foundations of mathematics; v.86
Edition: 2d completely rev. ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam : New York : North-Holland Pub. Co. ; distributor, Elsevier/North-Holland, 1976
Availability: Items available for loan: Department of Mathematics (1)Call number: 510.225 KUR.

5.
Contributions to non-standard analysis. Edited by W. A. J. Luxemburg and A. Robinson. by
  • Luxemburg, W. A. J.,ed
  • Luxemburg, W. A. J
  • Robinson, Abraham
Series: Studies in logic and the foundations of mathematics;69
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam, North-Holland Pub. Co., 1972
Availability: Items available for loan: Department of Mathematics (1)Call number: 510.8 LUX.

6.
Metamathematics of algebraic systems / A.I.Malcev by
  • Malcev, A.I
Series: Studies in logic and the foundations of mathematics;66
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London North -Holland 1971
Availability: Items available for loan: Department of Mathematics (1)Call number: 510.2 MAL.

7.
Constructivism in mathematics : an introduction. Vol. 2 A.S. Troelstra by
  • Troelstra, A. S
  • Troelstra, A. S
  • Dalen, D. Van
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
Availability: Items available for loan: Department of Mathematics (1)Call number: 510.25 TRO.2.

8.
Constructivism in mathematics : an introduction, V1 A.S. Troelstra, D. van Dalen. by
  • Troelstra, A. S
  • Troelstra, A. S
  • Dalen, D. van
Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
Availability: Items available for loan: Department of Mathematics (2)Call number: 510.25 TRO.1, ...

Pages

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India