qrcode

Your search returned 2963 results.

Sort
Results
281.
A course in mathematical logic / by Series: Graduate texts in Mathematics ; 53
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York: Springer-Verlag, 1977
Availability: Items available for loan: ISID (1)Call number: 511.3 M278.CM.

282.
Cambridge summer school in mathematical logic, Aug. 1-21, 1971 / by Series: Lecture notes in Mathematics ; 73
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer-Verlag, 1973
Availability: Items available for loan: ISID (1)Call number: 511.3 M431.CS.

283.
Computations in higher types by Series: Lecture notes in Mathematics ; 574
Material type: Text Text
Publication details: Berlin Springer-Verlag 1977
Availability: Items available for loan: ISID (1)Call number: 511.3 M717.CH.

284.
Hopf algebras and galois theory by Series: Lecture notes in Mathematics ; 97
Material type: Text Text
Publication details: Berlin Springer-Verlag 1969
Availability: Items available for loan: ISID (1)Call number: 512 C487.HA.

285.
Model theoretic algebra; selected topics by Series: Lecture notes in Mathematics ; 521
Material type: Text Text
Publication details: Berlin Springer-Verlag 1976
Availability: Items available for loan: ISID (1)Call number: 512 C521.MT.

286.
Proof theory and intuitionistic systems by Series: Lecture notes in Mathematics ; 212
Material type: Text Text
Publication details: Berlin Springer-Verlag 1971
Availability: Items available for loan: ISID (1)Call number: 511.3 Sc286.PT.

287.
Cabal seminar; proceedings Ed. by Alexander S.Kechris and Y. N. Moschovakis by Series: Lecture notes in Mathematics ; 689
Material type: Text Text
Publication details: Berlin Springer-Verlag 1978
Availability: Items available for loan: ISID (1)Call number: 511.3 Se471.CS.

288.
A concrete introduction to higher algebra by Series: Undergraduate texts in Mathematics
Material type: Text Text
Publication details: New York Springer-Verlag 1979
Availability: Items available for loan: ISID (1)Call number: 512 C537.CI.

289.
Buchis monadic second order successor arithmetic by Series: Lecture notes in Mathematics ; 120
Material type: Text Text
Publication details: Berlin Springer-Verlag 1970
Availability: Items available for loan: ISID (1)Call number: 511.3 Si571.BM.

290.
First order logic by Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; v. 43
Material type: Text Text
Publication details: Berlin Springer-Verlag 1968
Availability: Items available for loan: ISID (1)Call number: 511.3 Sm666.FO.

291.
Logic; proceedings by Series: Lecture notes in Mathematics ; 70
Material type: Text Text
Publication details: Berlin Springer-Verlag 1968
Availability: Items available for loan: ISID (1)Call number: 511.3 Su955.LP.

292.
Abelian group theory; proceedings of the oberwolfach conference Ed. by R. Gobel and E. Walker by Series: Lecture notes in Mathematics ; 874
Material type: Text Text
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for loan: ISID (1)Call number: 512 C748.AG.

293.
Automatic demonstration; proceedings Ed. by M.Laudet and others by Series: Lecture notes in Mathematics ; 125
Material type: Text Text
Publication details: Berlin Springer-Verlag 1970
Availability: Items available for loan: ISID (1)Call number: 511.3 Sy989.AD.

294.
295.
Algebraic geometry and its applications; collection of papers from Shreeram S. Abhyankar's 60th birthday conference / by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York: Springer-Verlag, 1994
Availability: Items available for loan: ISID (1)Call number: 512 C748.AG.

296.
Introduction to axiomatic set theory / by Series: Graduate texts in Mathematics ; v. 1
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York: Springer-Verlag, 1971
Availability: Items available for loan: ISID (1)Call number: 511.3 T136.IA.

297.
Mathematical investigation of intuitionistic arithmetic and analysis by Series: Lecture notes in Mathematics ; 344
Material type: Text Text
Publication details: Berlin Springer-Verlag 1973
Availability: Items available for loan: ISID (1)Call number: 511.3 T843.MI.

298.
Principles of intuitionism; lectures presented at the summer conference on Intutionism and proof theory (1968) at SUNY by Series: Lecture notes in Mathematics ; 95
Material type: Text Text
Publication details: Berlin Springer-Verlag 1969
Availability: Items available for loan: ISID (1)Call number: 511.3 T843.PI.

299.
Algebraic geometry: proceedings of the Midwest algebraic conference / by Series: Lecture notes in Mathematics ; 862
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer-Verlag, 1981
Availability: Items available for loan: ISID (1)Call number: 512 C748.AG.

300.
Set theory of the continuum ; papers presented at the MSRI workshop / by Series: Mathematical Sciences Research Institute Publications ; 26
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York: Springer-Verlag, 1992
Availability: Items available for loan: ISID (1)Call number: 511.3 W926.ST.

Pages

Library, Indian Statistical Institute, Delhi Centre, 7 S.J.S. Sansanwal Marg, New Delhi - 110 016 (India)
Tel. 91-11 - 4149 3975 / 3976 | Fax. 91-11 - 4149 3981 | Email: library@isid.ac.in