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

Results
	161.	Mathematical logic by J. Donald Monk. by Monk, J. Donald Series: Graduate texts in mathematics ; 37 Material type: Book Publication details: New York Springer-Verlag 1976 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N764. Place hold
	162.	No cover image available Introduction to mathematical logic by Elliott Mendelson by Mendelson, Elliott Series: University series in undergraduate mathematics Material type: Book Publication details: New York Van Nostrand Reinhold Company 1964 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N646;1 R(T).
	163.	No cover image available First-order logic by Raymond M. Smullyan, by Smullyan, Raymond M Series: Ergebnisse der Mathematik und ihrer Grenzgebiete Material type: Book Publication details: New-York Springer-Verlag 1968 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N685. Place hold
	164.	Sets, logic and aximatic theories by Robert R. Stoll, by Stoll, Robert R Material type: Book Publication details: San Francisco W.H.Freeman and Co. 1974 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N743. Place hold
	165.	Course in mathematical logic by Yu. I. Manin, tr.from Neal Koblitz, by Manin, Yu. I Koblitz, Neal Series: Graduate texts in mathematics ; V.53 Material type: Book Publication details: New-york Springer Verlag 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N772;1. Place hold
	166.	Introduction to elementary mathematical logic by Abram, Aronovich, Stolyar by Abram Aronovich Stolyar Material type: Book Publication details: New York Dover publications 1970 Availability: Items available for reference: Electrical Engineering: Not for loan (1)Call number: 511.3 N7013.
	167.	Mathematical foundations of programming by Frank S. Beckman by Beckman, Frank S Series: Systems programming series Material type: Book Publication details: Massachusetts Addison-Wesley Pub. Co. 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N804.
	168.	Elements of the theory of computation by Harry R Lewis, Christos H Papadimitriou by Lewis, Harry R Papadimitriou, Christos H Material type: Book Publication details: New Delhi Prentice-Hall of India Pvt. Ltd. 1981 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N81;6. Place hold
	169.	Handbook of mathematical logic ed. by John Barwise. by Barwise, John., ed Series: Studies in logic and the foundations of mathematics ; V.90 Material type: Book Publication details: Amesterdam North-Holland Pub.Co. 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N774.
	170.	Logic progrmming ed. by K. L.Clark, S. A. Tarnlund. by Clark, K. L., ed Tarnlund, S. A., ed Series: A.P.I.C studies in data processing No. 16 Material type: Book Publication details: London Academic 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642015113 N82.
	171.	No cover image available Formal logic its scope and limits by Richard C. Jeffrey by Jeffrey, Richard C Material type: Book Publication details: New Delhi Tata McGraw Hill Publishing Company 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N809 R(T).
	172.	Logic for computer science - foundations of automatic theorem proving by Jean H. Gallier by Gallier, Jean H Series: Harper & Row computer science and technology series Material type: Book Publication details: Cambridge Harper & Row 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N861;1 R(T).
	173.	Intensional logic and the metaphysics of intentionality by Edward N. Zalta by Zalta-Edward, N Material type: Book Publication details: Cambridge Bradford Book 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 110 N88. Place hold
	174.	Logic for problem solving by Robert Kowalski. by Kowalski, Robert Series: Computer science library Material type: Book Publication details: New york North-Holland 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N793;1.
	175.	Foundations of computational mathematics selected papers ed. by F Cucker, M Shub by Conference on Foundations of Computational Mathematics(Rio de Janeiro 1997) Cucker, F., ed Shub, M., ed Material type: Book Publication details: Berlin Springer-Verlag 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N971.
	176.	Introduction to the theory of computation by Michael Sipser by Sipser, Michael Material type: Book Publication details: Boston PWS Publishing Co. 1997 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N973. Place hold
	177.	Axiomatic set theory by Patrick Suppes by Suppes, Patrick Material type: Book Publication details: New York Dover pub. 1972 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.322 N72. Place hold
	178.	Mathematics of inheritance systems by David S. Touretzky by Touretzky, David S Series: Research notes in artificial intelligence Material type: Book Publication details: London Pitman 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.535 N8622.
	179.	No cover image available Philosophy of mathematics and mathematic logic by N. Shanmugasundaram by Shanmugasundaram, N Material type: Book Publication details: Chidambaram Sabanayagam Printers 1983 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N831.1. Place hold
	180.	No cover image available Soundness and completeness results in partially-interpreted logics by Suman Roy by Roy, Suman Series: I.I.Sc., Dept. of CSA., Ph.D., Thesis Material type: Book Publication details: Bangalore IISc 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N972 "THESIS".

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 244 results.