qrcode

Your search returned 1855 results.

Sort
Results
201.
The axiom of constructibility ; a guide for the mathematician by Series: Lecture notes in Mathematics ; 617
Material type: Text Text
Publication details: Berlin Springer-Verlag 1977
Availability: Items available for loan: ISID (1)Call number: 511.3 D497.AC.

202.
Abelsche and exakte kategorien, korrespondenzen by Series: Lecture notes in Mathematics ; 96
Material type: Text Text
Publication details: Berlin Springer-Verlag 1969
Availability: Items available for loan: ISID (1)Call number: 512 B858.AU.

203.
Souslin problem by Series: Lecture notes in Mathematics ; 405
Material type: Text Text
Publication details: Berlin Springer-Verlag 1974
Availability: Items available for loan: ISID (1)Call number: 511.3 D497.SP.

204.
Determinantal rings by Series: Lecture notes in Mathematics ; 327
Material type: Text Text
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: ISID (1)Call number: 512 B899.DR.

205.
Models of ZF- set theory / by Series: Lecture notes in Mathematics ; 223
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer-Verlag, 1971
Availability: Items available for loan: ISID (1)Call number: 511.3 F312.MZ.

206.
Term logic with choice operator by Series: Lecture notes in Mathematics ; 6
Material type: Text Text
Publication details: Berlin Springer-Verlag 1970
Availability: Items available for loan: ISID (1)Call number: 511.3 H553.TL.

207.
Modelle der mengenlehre; widerspruchsfreiheit und unabhangigkeit of kontinuum-hypothese und des auswahlaxioms by Series: Lecture notes in Mathematics ; 37
Material type: Text Text
Publication details: Berlin Springer-Verlag 1967
Availability: Items available for loan: ISID (1)Call number: 511.3 J54.MD.

208.
209.
Extensional godel functional interpretation; a consistency proof of classical analysis by Series: Lecture notes in Mathematics ; 306
Material type: Text Text
Publication details: Berlin Springer-Verlag 1973
Availability: Items available for loan: ISID (1)Call number: 511.3 L941.EG.

210.
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.

211.
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.

212.
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.

213.
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.

214.
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.

215.
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.

216.
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.

217.
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.

218.
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.

219.
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.

220.
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.

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