Results of search for 'ccl=Provider:Springer-Verlag and holdingbranch:IISC'

Results
	901.	Univalent functions - selected topics by Glenn Schober. by Schober, Glenn Series: Lecture notes in Mathematics ; 478 Material type: Text Publication details: Berlin Springer-Verlag 1975 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.8 N75. Place hold
	902.	Introduction to mathematical logic by Hans Hermes, tr. from German by Diana Schmidt by Hermes, Hans Schmidt, Diana., Tr Material type: Text Publication details: Berlinn Springer-Verlag 1973 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N733.
	903.	Collected papers, Vol.1 contribution to number theory by Ernst Edward Kummer, ed. by Andre Weil. by Kummer, Ernst Eduard Weil, Andre., ed Material type: Text Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.8 N754.1.
	904.	Infinitesimally central extensions of chevalley groups by W. L. J. Van Der Kellen by Kallen, Van Der, W.L.J Series: Lecture notes in Mathematics ; 356 Material type: Text Publication details: Berlin Springer-Verlag 1973 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.8 N73.
	905.	Algebraic introduction to mathematical logic by Donald W. Barnes, John M. Mack. by Barnes, Donald W Mack, John M Series: Graduate text in mathematics ; V.22 Material type: Text Publication details: New York Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N757.
	906.	Proof theory by Kurt Schutte, tr. from the German by J.N. Crossley by Schutte, Kurt Crossley, J.N., Tr Series: Grundlehren der mathematischen Wissenschaften, 225 Material type: Text Publication details: Berlin Springer-Verlag 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N771;1. Place hold
	907.	Models of ZF-set theory /by Ulrich Felgner by Felgner, Ulrich Series: Lecture Notes in Mathematics Material type: Text Publication details: Berlin Springer-Verlag 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N715.
	908.	Context-free grammers covers, normal forms and parsing by Anton, Nijholt by Nijholt, Anton Series: Lecture notes in Computer Science V.93 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N80.
	909.	Logic and structure by Dirk Van Dalen by Dalen, Dirk Van Series: Universitext Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N803. Place hold
	910.	Weakly compact sets by Klaus Floret by Floret, Klaus Series: Lecture notes in Mathemaics V.801 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N805.
	911.	No cover image available Enumerability . decidability computability an introduction to the theory of recursive functions by Hans Hermes, tr. by G. T. Hermann by Hermes, Hans Hermann, G. T., Tr Plassmann, O., Tr Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band ; 127 Edition: 2nd Material type: Text Publication details: Berlin Springer-Verlag 1969 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N693;5.
	912.	Algebraic semantics by Irene Guessarian by Guessarian, Irene Series: Lecture notes in Computer Science V.99 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N815.
	913.	Introduction to axiomatic set theory by G. Takeuti, W. M. Zaring by Takeuti, G Zaring, W. M Material type: Text Publication details: New York Springer-Verlag 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N71.
	914.	Introduction to mathematical logic set theory computable functions model theory by Jerome Mallitz by Malitz, Jerome Series: Undergraduate Text in Mathematics Material type: Text Publication details: New York Springer-Verlag 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N792. Place hold
	915.	No cover image available Evolution of fault-tolerant computing by A. Avizienis, H. Kopetz, J. C. Laprie by Avizienis, A Kopetz, H Laprie, J. C Series: Dependable Computing and Fault-Tolerant Systems V.1 Material type: Text Publication details: New York Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N871.
	916.	Recursion on the countable functionals by Dag Norman by Normann, Dag Series: Lecture Notes in Mathematics V.811 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N806.
	917.	Recursively enumerable sets and degrees a study of computable functions and computably generated sets by Robert I. Soare. by Soare, Robert I Series: Perspective in Mathematical Logic Material type: Text Publication details: Berlin Springer-Verlag 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N871. Place hold
	918.	Lectures on topics in finite element solution of elliptic problems by Bertrand Mercier. by Mercier, Bertrand Series: Lectures on Mathematics and Physics Material type: Text Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N79.
	919.	Logic and structure by Dirk Van Dalen. by Van Dalen, Dirk Series: Universitext Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N80.
	920.	Mechanizing hypothesis formation mathematical foundations for a general theory by P. Hajek, T. Havranek by Hajek, P Havranek, T Series: Universitext Material type: Text Publication details: Berlin Springer-Verlag 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N785.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 6762 results.