Results of search for 'ccl=su:"Logic, Symbolic and Mathematical"'

Results
	141.	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.
	142.	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.
	143.	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.
	144.	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.
	145.	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
	146.	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.
	147.	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.
	148.	Proceedings of the summer school and colloquium in mathematical logic /ed. by R.O. Gandy and C.M.E. Yates by Gandy, R.O., ed Logic Colloquium'69 Manchester 1969 Yates, C.M.E., ed Series: Studies in Logic and the Foundations of Mathematics Material type: Book Publication details: Amsterdam North-Holland Pub.Co 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N713.
	149.	Proceedings of the logic colloquium'77 ed. by Angus Macintyre.,[et al] by Logic Colloquium'77 (Wroclaw 1977) Macintyre, Angus. ed.,[et al] Series: Studies in Logic and the Foundations of Mathematics V.96 Material type: Book Publication details: Amsterdam North-Holland Pub.Co. 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N782.
	150.	Proceedings of the logic colloquium'77 ed. by Angus Macintyre., [et al] by Logic Colloquium'77 (Wroclaw 1977) Macintyre, Angus.,ed. [ et al] Series: Studies in Logic and the Foundations of Mathematics V.96 Material type: Book Publication details: Amsterdam North-Holland Pub.Co. 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N782;1.
	151.	Proceedings of the logic colloquium'78 ed. by Maurice Boffa, Dirk Van dalen and Kenneth Moaloon by Boffa, Maurice Van dalen, Dirk Mcaloon, Kenneth Logic Colloquium'78 Series: Studies in Logic and the Foundations of Mathematics ; Vol.97 Material type: Book Publication details: Amsterdam North-Holland 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N79.
	152.	Proceedings of the first Brazilian conference on mathematical logic ed. by Adya I. Arruda, Newton C. A. da Costa, Rolando Chuaqui by Arruda, Adya I., ed da Costa, Newton C. A., ed Chuaqui, Rolando., ed Mathematical Logic ( Brazil : 1977 ) Series: Lecture Notes in Pure and Applied Mathematics ; V.39 Material type: Book Publication details: New York Marcel Dekker 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N78;1.
	153.	Proceedings of the first Brazilian conference on mathematical logic ed. by Adya I. Arruda, Newton C. A. da Costa, Rolando Chuaqui by Arruda, Adya I., ed da Costa, Newton C. A., ed Chuaqui, Rolando., ed Mathematical Logic ( Brazil : 1977 ) Series: Lecture Notes in Pure and Applied Mathematics ; V.39 Material type: Book Publication details: New York Marcel Dekkar 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N78.
	154.	Model Theory of Algebra and Arithmetic ed. by L. Pacholski., [et al] by Conference on application of logic to algebra and arithmetic Pacholski, L. ed., [et al] Series: Lecture notes in Mathematics V.834 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N807.
	155.	Proceedings of the second scandinavian logic symposium ed. by J.E. Fenstad by Fenstad, J.E Second Scandinavian Logic Symposium Series: Studies in Logic and the Foundations of Mathematics ; V.63 Material type: Book Publication details: Amsterdam North-Holland Pub.Co 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N71.
	156.	No cover image available Proceedings of the summer school in logic /ed. by M.H. Lob by Lob, M.H Summer School in Logic (Leeds).(1967) Series: Lecture Notes in Mathematics Material type: Book Publication details: Berlin S-V 1968 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N681.
	157.	Proceeding of the third scandinavian logic symposium ed. by Stig Kanger by Kanger, Stig Third Scandinavian Logic Symposium Series: Studies in Logic and the Foundations of Mathematics ; Vol.82 Material type: Book Publication details: Amsterdam North-Holland 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N751.
	158.	Logic of programs ed. by Edmund Clarke, Dexter Kozen by Workshop on Logic of Programs (Pittsburgh 1983) Clarke, Edmund Kozen, Dexter Series: Lecture Notes in Computer Science V.164 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N843.
	159.	FREGE philosophy of mathematics by Michael Dummett by Dummett, Michael Material type: Book Publication details: Cambridge Harvard Univ. Press 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.1 N91. Place hold
	160.	Popular lectures on mathematical logic by Hao Wang. by Wang, Hao Material type: Book Publication details: New York Dover Pub. Inc. 1981 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N812.1. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 244 results.