Results of search for 'ccl=su:"Logic;"' › JRD Tata Memorial Library catalog

Results
	301.	No cover image available Course in numerical analysis by H. Melvin Lieberstein by Lieberstein, H. Melvin Series: Harper Series in Modern Mathematics Material type: Book Publication details: New York Harper & Row Publ.Co. 1968 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N683.
	302.	No cover image available Incidence calculus a mechanism for probabilistic reasoning by Alan Bundy by Bundy, Alan Series: Department of Artificial Intelligence University of Edinburgh Material type: Book Publication details: Edinburgh Univ. of Edinburgh 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N844.
	303.	No cover image available Index and other useful information ed. by Albrecht Dold and Beno Eckmann by Dold, Albrecht Eckmann, Beno Series: Lecture Notes in Mathematics ; 1-500 Material type: Book Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N75-1.
	304.	No cover image available Algebraic theory of machines, languages and semigroups ed.by Michael A.Arbib. by Arbib, Michael A., ed Material type: Book Publication details: New York Academic Press 1968 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N681;1.
	305.	Formal background to mathematics 1b by R. E. Edwards. by Edwards, R. E Series: Universitext Material type: Book Publication details: New York Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510 N792.1B.
	306.	Discrete and switching functions by Marc David, Jean-Pierre Deschamps and Andre Thayse by David, Marc Deschamps, Jean-Pierre Thayse, Andre Material type: Book Publication details: New York McGraw-Hill Intl.Bk. 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.33 N78;1.
	307.	No cover image available Equality, resemblance and order by Ju. A. Schreider, tr. from the Russian by Martin Greendlinger by Schreider, Ju. A Greendlinger, Martin Material type: Book Publication details: Moscow Mir Publishers 1975 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N751;1. Place hold
	308.	No cover image available Boolean algebra and its applications including boolean matrix algebra by H. Graham Flegg by Flegg, Graham H Material type: Book Publication details: London Balckie 1964 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.32 N642;2. Place hold
	309.	Introduction to axiomatic set theory by G. Takeuti, W. M. Zaring. by Takeuti, G Zaring, W. M Series: Graduate Texts in Mathematics ; 1 Material type: Book Publication details: New York Springer-Verlag 1971 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N716. Place hold
	310.	No cover image available Degrees of unsolvability by Gerald E. Sacks, by Sacks, Gerald E Series: Annals of Mathematics Studies Edition: 2nd Material type: Book Publication details: NewJersey Princeton Univ.Press 1963 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N632;1.
	311.	No cover image available Mathematical introduction to logic by Herbert B. Enderton. by Enderton, Herbert B Material type: Book Publication details: New York Academic Press 1972 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N72;1. Place hold
	312.	No cover image available Significance of mathematics Harriet F. Montague and Mabel D. Montgomery by Montague, Harriet F Montgomery, Mabel D Material type: Book Publication details: Columbus Charles E.Merrill Bk 1963 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N63.
	313.	Formal background to mathematics lb by R. E. Edwards. by Edwards, R.E Series: Universitext Material type: Book Publication details: New York Springer-Verlag 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510 N792.1B;1. Place hold
	314.	No cover image available Studies in constructive mathematics and mathematical logic, part 11 seminar in mathematics; v.8 /ed. by A.O. Slisenko by Slisenko, A.O Series: Seminars in Mathematics Material type: Book Publication details: New York Plenum press 1970 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N69.2.
	315.	Proceedings of the symposium .... /ed. by C. Bohm by Bohm, C Calculus and Computer Science Theory Rome 1975 Series: Lecture Notes in Computer Science ; 37 Material type: Book Publication details: Berlin. Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N758.
	316.	No cover image available Proceedings of the logic colloquium .... ed. by H. Arnold Schmidt, K. Schutte and H.J. Thiele by Schmidt, Arnold H., ed Schutte, K., ed Thiele, H.J., ed Contribution to Mathematical Logic Series: Studies in Logic and the Foundation of Mathematics Material type: Book Publication details: Amsterdam North-Holland Pub.Co 1968 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N68.
	317.	Foundations of Computation Theory (Borghholm 1983) ed. by Marek Karpinski by Conference on foundation of computation theory Karpinski, Marek Series: Lecture Notes in Computer Science V.158 Material type: Book Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N83.
	318.	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
	319.	Proceedings on ISICC logic conference ed. by G.H. Muller, A. Oberschelp and K. Potthoff by Muller, G.H Oberschelp, A Potthoff, K International Summer Institute and Logic Colloquium Kiel 1974 Series: Lecture Notes in Mathematics ; 499 Material type: Book Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N75.
	320.	No cover image available Formal systems and recursive functions - proceedings ed. by J.N. Crossley, M.A.E. Dummett by Eight Logic Colloquium. Oxford,1963 Crossley, J.N., ed Dummett, M.A.E., ed Series: Studies in Logic and the Foundation of Mathematics Material type: Book Publication details: Amsterdam North-Holland 1965 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N653.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.