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

Results
	61.	Course in mathematical logic by J. L. Bell and M. Machover, by Bell, J. L Machover, M Material type: Book Publication details: Amsterdam North-Holland Pub.Co. 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N777. Place hold
	62.	No cover image available Elements of mathematical logic Jan Lukasiewicz, tr. from the Polish by Olgierd Wojtasiewicz by Lukasiewicz, Jan Wojtasiewicz, Olgierd.,Tr Series: International Series of Monographs in Pure and Applied Mathematics Edition: 1st Material type: Book Publication details: Oxford Pergamon Press 1963 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N635;1.
	63.	No cover image available Lapses in mathematical reasoning V.M. Bradis, V.L. Minkovskii and A.K. Kharcheva, tr. by J.J. Schorr-Kon by Bradis, V.M Minkovskii, V.L Kharcheva, A.K Series: Commonwealth and International Library of Science, Technology, Engineering and Library Studies Material type: Book Publication details: Oxford Pergamon Press 1963 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N631.
	64.	No cover image available Elements of mathematical logic and set theory J. Slupecki and L. Borkowski, tr. by O. Wojtasiewicz by Slupecki, J Borkowski, L Wojtasiewicz, O., Tr Series: Pure and Applied Mathematics, International Series of Monographs in ; Vol.96 Material type: Book Publication details: Oxford Pergamon Press 1967 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N675.
	65.	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
	66.	Mathematical logic with special reference to the natural numbers by S. W. P. Steen. by Steen, S. W. P Material type: Book Publication details: Cambridge Cambridge Univ.Press 1972 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N722;1.
	67.	No cover image available Basic concepts of mathematics and logic by Michael C Gemignani, by Gemignani, Michael C Series: Addison-Wesley Series in Introductory Mathematics Material type: Book Publication details: Massachusetts Addison-Wesley Pub.Co. Inc. 1968 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N682. Place hold
	68.	Introduction to mathematical logic set theory computable functions model theory by Jerome Mallitz by Malitz, Jerome Series: Undergraduate Text in Mathematics Material type: Book Publication details: New York Springer-Verlag 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N792. Place hold
	69.	No cover image available Sets, events and switching by Paul E. Pfeiffer, by Pfeiffer, Paul E Material type: Book Publication details: New York McGraw-Hill Book Co. 1964 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N645.
	70.	No cover image available Symbolic logic and the game of logic by Lewis Carroll by Carroll, Lewis Series: Mathematical Recreations of Lewis Carroll Material type: Book Publication details: New York Dover Publications 1958 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N581.
	71.	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;2. Place hold
	72.	Popular lectures on mathematical logic by Wang Hao by Hao, Wang Material type: Book Publication details: New York Van Nostrand Reinhold co 1981 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N812. Place hold
	73.	Mathematical logic an introduction to model theory by A. H. Lightstone, ed. by H. B. Enderton by Lightstone, A. H Enderton, H. B., ed Series: Mathematical Concepts and Methods in Science and Engineering 9 Material type: Book Publication details: New York Plenum Press 1978 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N781. Place hold
	74.	No cover image available Introduction to mathematical philosophy by Bertrand Russell. by Russell, Bertrand Material type: Book Publication details: London George Allen & Conwi 1919 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N19.
	75.	No cover image available Significance of mathematics by Harriet F. Montague, 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;1.
	76.	No cover image available Set theory and logic by Robert R. Stoll. by Stoll, Robert R Series: Series of Undergraduate Books in Mathematics Material type: Book Publication details: San Francisco W.H. Freeman & Co. 1963 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N634. Place hold
	77.	No cover image available Sets, logic and axiomatic theories by Robert R. Stoll, by Stoll, Robert R Series: Series of Book in Mathematics Material type: Book Publication details: San Francisco W.H. Freeman & Co. 1961 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N61. Place hold
	78.	Recursion on the countable functionals by Dag Norman by Normann, Dag Series: Lecture Notes in Mathematics V.811 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 N806.
	79.	No cover image available Patterns of plausible inference by G. Polya. by Polya, G Series: Mathematics and Plausible Reasoning Material type: Book Publication details: Princeton Princeton Univ.Press 1954 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N54.2.
	80.	Logic and structure by Dirk Van Dalen. by Van Dalen, Dirk Series: Universitext 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 N80.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 244 results.