Results of search for 'su:"Theorem"' › JRD Tata Memorial Library catalog

Results
	1.	Logic for computer science : foundations of automatic theorem proving by Jean H. Gallier. by Gallier, Jean H Material type: Book Publication details: New York John Wiley 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N877.
	2.	Communication complexity a new approach to circuit depth. by Mauricio Karchmer by Karchmer, Mauricio Series: ACM doctoral dissertation award 1988 Material type: Book Publication details: Cambridge MIT Press 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.381952 N894. Place hold
	3.	Computational logic handbook by Robert S. Boyer, J. Strother Moore by Boyer, Robert S Moore, Strother J Series: Perspectives in computing V.23 Material type: Book Publication details: Boston Academic Press 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N885.
	4.	Current trends in hardware verification and automated theorem proving ed. by G. Birtwistle and P. A. Subrahmanyam. by Birtwistle, G., ed Subrahmanyam, P. A., ed Material type: Book Publication details: New York Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N89.
	5.	First-order logic and automated theorem proving. by Melvin Fitting. by Fitting, Melvin Series: Texts and Monographs in computer science Material type: Book Publication details: New York S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N901.
	6.	No cover image available Algebraic curves over finite fileds by Carols J. Moreno by Moreno, Carlos J Series: Cambridge tracts in mathematics Material type: Book Publication details: Cambridge Cambridge university press 1993 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 516.352 N93;1. Place hold
	7.	Fermat's last theorem a genetic introduction to algebraic number theory by Harold M. Edwards by Edwards, Harold M Series: Graduate Texts in Mathematics ; 50 Material type: Book Publication details: New York Springer-Verlag 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.74 N77.
	8.	No cover image available Pure mathematics by S.L. Parsonson. by Parsonson, S.L Material type: Book Publication details: Cambridge Cambridge University Press 1970 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510 N704.1.
	9.	Chinese mathematics in the thirteenth century the Shu-Shu Chiu-Chang of Ch'in Chiu-Shao Ulrich Libbrecht, by Libbrecht, Ulrich Series: Massachusetts Institute of Technology, M.I.T. East Asian Science Series ; Vol.1 Material type: Book Publication details: Cambridge The M.I.T. Press 1973 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.51 N73.
	10.	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: Book Publication details: Berlin Springer-Verlag 1973 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.8 N73.
	11.	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: Book Publication details: Berlin Springer-Verlag 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N771;1. Place hold
	12.	No cover image available Logic for computer science foundation of automatic theorem proving by Jean H. Gallier by Gallier, Jean H Series: Harper and Row Computer Science and Technology Series Material type: Book Publication details: New York Harper & Row, Pub. 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861;2. Place hold
	13.	No cover image available Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee by Chang, Chin-Liang Lee, Richard Char-Tung Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1973 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N732;1. Place hold
	14.	No cover image available Logic for computer science foundations of automatic theorem proving by Jean H. Gallier by Gallier, Jean H Series: Harper And Row Computer Science and Technology Series Material type: Book Publication details: Cambridge Harper & Row, Pub. 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861. Place hold
	15.	Intuitionistic logic model theory and forcing /by Melvin Chris Fitting by Fitting, Melvin Chris Series: Studies in Logic and the Foundations of Mathematics Material type: Book Publication details: Amsterdam North-Holland Pub.Co 1969 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.2 N69.
	16.	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: Book Publication details: Berlin Springer-Verlag 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N771.
	17.	Proof theory and intuitionistic systems /by Bruno Scarpellini by Scarpellini, Bruno Series: Lecture Notes in Mathematics Material type: Book Publication details: Berlin S-V 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N714.
	18.	Lectures on results on Bezout's theorem by W. Vogel by Vogel, D Series: Tata Institute of Fundamental Research, Lectures on Mathematics and Physics, No.74 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.1 N84.
	19.	Seventh international conference on automated deduction by R. E. Shostak by International Conference on Automated Deduction (Napa, California 1984) Shostak, R. E Series: Lecture Notes in Computer Science V.170 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N841. Place hold
	20.	Fermat's last theorem genetic introduction to algebraic number theory by Harold M. Edwards by Edwards, Harold M Series: Graduate text in mathematics ; 50 Material type: Book Publication details: New York Springer-Verlag 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.74 N77;1. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 129 results.