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

Results
	1.	No cover image available Axiomatic set theory by Patrick Suppes, by Suppes, Patrick Series: University series in undergraduate mathematics Material type: Book Publication details: New Delhi AEW Press Pvt. Ltd. 1975 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N7510. Place hold
	2.	Symbolic logic by Irving M. Copi by Copi, Irving M Edition: 5th Material type: Book Publication details: New York Macmillan 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N79. Place hold
	3.	No cover image available Set theory and logic by Robert R. Stoll. by Stoll, Robert R Material type: Book Publication details: New Delhi Eurasian Pub. House 1963 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N678.
	4.	No cover image available Logic and algorithms with application to the computer and information sciences by Robert R. Korfhage. by Korfhage, Robert R Material type: Book Publication details: New York John Wiley 1966 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N66;2.
	5.	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.
	6.	Introduction to Hilbert space and quantum logic. by David W. Cohen. by Cohen, David W Series: Problem books in mathematics 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: 515.73 N892.
	7.	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.
	8.	Proof theory an introduction by Wolfram Pohlers by Pohlers, Wolfram Series: Lecture notes in mathematics V.1407 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N894. Place hold
	9.	Computability, complexity, logic by E. Borger by Borger, E Series: Studies in logic and the foundations of mathematics V.128 Material type: Book Publication details: Amsterdam North-Holland 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N895.
	10.	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.
	11.	Logic and computer science ed. by Piergiorgio Odifreddi. by Odifreddi, Piergiorgio., ed Material type: Book Publication details: London Academic press 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N905.
	12.	Computability, computable functions, logic, and the foundations of mathematics by Richard L. Epstein, Walter A. Carnielli by Epstein, Richard L Carnielli, Walter A Series: Wadsworth & Brooks/Cole mathematics series Material type: Book Publication details: Pacific Grove Wadsworth and Books 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N897. Place hold
	13.	Logic for computer science by Steve Reeves, Michael Clarke. by Reeves, Steve Clarke, Michael Series: International Computer Science series Material type: Book Publication details: Wokingham A-W 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015113 N90.
	14.	Varieties of constructive mathematics by Douglas Bridges, Fred Richman by Bridges, Douglas Richman, fred Series: London Mathematical Society Lecture Notes series 97 Material type: Book Publication details: Cambridge CUP 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N875.
	15.	Logic from computer science ed. by Y. N. Moschovakis by proceedings of a workshop held 1989 Moschovakis, Y. N Series: Mathematical Sciences Research Institute Publication V.21 Material type: Book Publication details: New York Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N92.
	16.	Many valued logics - V.1 Theoretical foundations by Leonard Bolc, Piotr Borowik by Bolc, Leonard Borowik, Piotr Material type: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N921.1.
	17.	Set theory an introduction to independence proofs by Kenneth Kunen by Kunen, Kenneth Series: Studies in Logic and the Foundations of Mathematics V.102 Material type: Book Publication details: Amsterdam North-Holland. 1980 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.322 N80;1. Place hold
	18.	Truth, deduction and computation: logic and semantics for computer science by Davis, R.E, Series: Principles of Computer Science Series Material type: Book Publication details: New York W.H. Freeman 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.13 N894. Place hold
	19.	Automata languages and programming Proceedings /ed. by G. Ausiello M. Dezani-Ciancaglini and S. Ronchi Della Rocca. by Interna tional Colloquium on Automata Languages and Programming. Stresa, Italy 1989 Series: Lecture notes in computer science ; 372 Material type: Book Publication details: Berlin S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N895.
	20.	Automata, languages and programming Proceedings /ed. by Thomas Ottmann. by International Colloquium on Automata Languages and Programming. Karlsruhe, FRG 1987 Series: Lecture notes in computer science ; 267 Material type: Book Publication details: Berlin S-V 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N871.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 244 results.