Results of search for 'ccl=pl:"Verlag:"' › Indian Statistical Institute-Delhi Centre Library catalog

Results
	281.	No cover image available Term logic with choice operator by Hermes, Hans Series: Lecture notes in Mathematics ; 6 Material type: Text Publication details: Berlin Springer-Verlag 1970 Availability: Items available for loan: ISID (1)Call number: 511.3 H553.TL. Place hold
	282.	No cover image available Modelle der mengenlehre; widerspruchsfreiheit und unabhangigkeit of kontinuum-hypothese und des auswahlaxioms by Jensen, Ronald Bjorn Series: Lecture notes in Mathematics ; 37 Material type: Text Publication details: Berlin Springer-Verlag 1967 Availability: Items available for loan: ISID (1)Call number: 511.3 J54.MD. Place hold
	283.	No cover image available Invariant theory; proceedings of the 1st 1982 session of the C. I. M. E. Ed. by F. Gherardelli by Centro Internazionale Matematico Estivo (C. I. M. E.) session on invariant theory, Monteca tini, Italy, June 10-18, 1982 Gherardelli, F. ; ed Series: Lecture notes in Mathematics ; 996 Material type: Text Publication details: Berlin Springer-Verlag 1983 Online resources: Click here to access online Availability: Items available for loan: ISID (1)Call number: 512 C397.IT. Place hold
	284.	No cover image available Classical descriptive set theory / by Kechris, Alexander S Series: Graduate texts in Mathematics ; v. 156 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York: Springer-Verlag, 1995 Availability: Items available for loan: ISID (1)Call number: 511.3 K25.CD. Place hold
	285.	No cover image available Extensional godel functional interpretation; a consistency proof of classical analysis by Luckhardt, Horst Series: Lecture notes in Mathematics ; 306 Material type: Text Publication details: Berlin Springer-Verlag 1973 Availability: Items available for loan: ISID (1)Call number: 511.3 L941.EG. Place hold
	286.	No cover image available Introduction to mathematical logic ; set theory, computable functions, model theory / by Malitz, Jerome Series: Undergraduate texts in Mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York: Springer-Verlag, 1979 Availability: Items available for loan: ISID (1)Call number: 511.3 M251.IM. Place hold
	287.	No cover image available A course in mathematical logic / by Manin, Yu I Koblitz, Neal [translator.] Series: Graduate texts in Mathematics ; 53 Material type: 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. Place hold
	288.	No cover image available Cambridge summer school in mathematical logic, Aug. 1-21, 1971 / by Mathias, A. R. D Rogers, H [editor.] Series: Lecture notes in Mathematics ; 73 Material type: 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. Place hold
	289.	No cover image available Computations in higher types by Moldestad, Johan Series: Lecture notes in Mathematics ; 574 Material type: Text Publication details: Berlin Springer-Verlag 1977 Availability: Items available for loan: ISID (1)Call number: 511.3 M717.CH. Place hold
	290.	No cover image available Hopf algebras and galois theory by Chase, Stephen U. and Sweedler, Moss E Sweedler, Moss E. ; jt. auth Series: Lecture notes in Mathematics ; 97 Material type: Text Publication details: Berlin Springer-Verlag 1969 Availability: Items available for loan: ISID (1)Call number: 512 C487.HA. Place hold
	291.	No cover image available Model theoretic algebra; selected topics by Cherlin, Greg Series: Lecture notes in Mathematics ; 521 Material type: Text Publication details: Berlin Springer-Verlag 1976 Availability: Items available for loan: ISID (1)Call number: 512 C521.MT. Place hold
	292.	No cover image available Proof theory and intuitionistic systems by Scarpellini, Bruno Series: Lecture notes in Mathematics ; 212 Material type: Text Publication details: Berlin Springer-Verlag 1971 Availability: Items available for loan: ISID (1)Call number: 511.3 Sc286.PT. Place hold
	293.	No cover image available Cabal seminar; proceedings Ed. by Alexander S.Kechris and Y. N. Moschovakis by Seminar on Caltech-UCLA Logic, 1976-77 Kechris, Alexander S. ; ed Moschovakis, Y. N.; jt. ed Series: Lecture notes in Mathematics ; 689 Material type: Text Publication details: Berlin Springer-Verlag 1978 Availability: Items available for loan: ISID (1)Call number: 511.3 Se471.CS. Place hold
	294.	No cover image available A concrete introduction to higher algebra by Childs, Lindsay Series: Undergraduate texts in Mathematics Material type: Text Publication details: New York Springer-Verlag 1979 Availability: Items available for loan: ISID (1)Call number: 512 C537.CI. Place hold
	295.	No cover image available Buchis monadic second order successor arithmetic by Siefkes, Dirk Series: Lecture notes in Mathematics ; 120 Material type: Text Publication details: Berlin Springer-Verlag 1970 Availability: Items available for loan: ISID (1)Call number: 511.3 Si571.BM. Place hold
	296.	No cover image available First order logic by Smullyan, Raymond M Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; v. 43 Material type: Text Publication details: Berlin Springer-Verlag 1968 Availability: Items available for loan: ISID (1)Call number: 511.3 Sm666.FO. Place hold
	297.	No cover image available Logic; proceedings by Summer School in Logic, Leeds, 1967 Series: Lecture notes in Mathematics ; 70 Material type: Text Publication details: Berlin Springer-Verlag 1968 Availability: Items available for loan: ISID (1)Call number: 511.3 Su955.LP. Place hold
	298.	No cover image available Abelian group theory; proceedings of the oberwolfach conference Ed. by R. Gobel and E. Walker by Conference on "Abelian Group Theory", Oberwolfach, Jan. 12-17, 1981 Gobel, R. ; ed Walker, E. ; jt. ed Series: Lecture notes in Mathematics ; 874 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: ISID (1)Call number: 512 C748.AG. Place hold
	299.	No cover image available Automatic demonstration; proceedings Ed. by M.Laudet and others by Symposium on Automatic Demonstration, France, Dec. 1968 Laudet, M ; ed Series: Lecture notes in Mathematics ; 125 Material type: Text Publication details: Berlin Springer-Verlag 1970 Availability: Items available for loan: ISID (1)Call number: 511.3 Sy989.AD. Place hold
	300.	No cover image available Foundations of mathematics; papers commemorating the Sixteith birthday of Kurt Godel Ed. by Jack J. Bulloff, Thomas C. Holyke and S. V. Hahn by Symposium on Logic and its Relations to Mathematics, Natural Science and Philosophy, Ohio Academy of Science, Columbus, April 22, 1966 Bulloff, Jack J. ; ed Holyke, Thomas C. ; jt. ed Hahn, S. ; jt. ed Material type: Text Publication details: New York Springer-Verlag 1969 Availability: Items available for loan: ISID (1)Call number: 511.3 Sy989.FM. Place hold

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Series

Your search returned 3168 results.