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

Results
	181.	Logic and data bases ed. by Herve Gallaire, Jack Minker by Gallaire, Herve., ed Minker, Jack., ed Material type: Book Publication details: New York Plenum Press 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N781.
	182.	Optimization methods for logical inference by Vijay Chandru, John N Hooker by Chandru, Vijay., Hooker, John Series: Wiley-Interscience series in discrete matheamtics and optimization Material type: Book Publication details: New york John-Wiley 1999 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.3 N99. Place hold
	183.	Logic for problem solving by Robert Kowalski by Kowalski, Robert Series: Artificial Intelligence Series 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;2.
	184.	Logic as algebra by Paul halmos, Steven Givant by Halmos, Paul Givant, Steven Series: Dolciani mathematical expositions No.21 Material type: Book Publication details: Mathematical association of America 1998 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N98. Place hold
	185.	Sets, logic and categories by Cameron, Peter J Series: Springer Undergraduate Mathematics Series Material type: Book; Format: print ; Literary form: Not fiction Publication details: London: Springer-Verlag, 1999 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.322 CAM. Place hold
	186.	Mathematical logic by H. D. Ebbinghaus, J. Flum and W. Thomas by Ebbinghaus, H. D Flum, J Thomas, W Series: Undergraduate texts in mathematics Edition: 2nd ed. Material type: Book Publication details: New York Springer Verlag 1994 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N943. Place hold
	187.	No cover image available Applied boolean algebra An elementary introduction by Franz E. Hohn. by Hohn, Franz E Material type: Book Publication details: New-York Macmillan 1966 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N66.
	188.	Logic programming 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 press, Inc. 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642015113 N82;3.
	189.	Logic for computer scientists by Uwe Schoning by Schoning, Uwe Series: Progress in computer science and applied logic ; Vol 8 Material type: Book Publication details: Boston Birkhauser 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N8929 R(T). Place hold
	190.	Elements of logic via numbers and sets by D. L. Johnson by Johnson, D. L Series: Springer undergraduate mathematics series Material type: Book Publication details: London Springer-Verlag 1998 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N984. Place hold
	191.	Logic for applications by Anil Nerode and Richard A. Shore by Nerode, Anil Shore, Richard A Series: Graduate texts in computer science Edition: 2nd ed. Material type: Book Publication details: New York Springer Verlag 1997 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1015113 N97. Place hold
	192.	Mathematical Logic by H.-D. Ebbinghaus, J. Flum and W. Thomas by Ebbinghaus, H.-D Flum, J Thomas, W Series: Undergraduate Texts in Mathematics Edition: 2nd ed Material type: Book Publication details: New York Springer-Verlag 1994 Availability: Items available for loan: Mathematics (1)Call number: 511.3 N944. Place hold
	193.	Logic for computer scientists by Uwe Schoning by Schoning, Uwe Series: Progress in computer science and applied logic Material type: Book Publication details: Boston Birkhauser 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N896. Place hold
	194.	Proofs from the book by Martin Aigner and Gunter M Ziegler by Aigner, Martin Ziegler, Gunter M Edition: 3rd ed Material type: Book Publication details: Berlin Springer-Verlag 2004 Availability: Items available for loan: Mathematics (1)Call number: 511.3 P04. Place hold
	195.	Lectures in Logic and Set Theory Set Theory by Tourlakis, George J Material type: Book Publication details: Cambridge University Press 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 . Place hold
	196.	Lectures in Logic and Set Theory Vol. 1 Mathematical Logic by Tourlakis, George J Material type: Book Publication details: Cambridge University Press 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 . Place hold
	197.	Proof & Knowledge in Mathematics by Detlefsen, Michael Material type: Book Publication details: Routledge 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: . Place hold
	198.	Proof, Logic & Formalization by Detlefsen, Michael Material type: Book Publication details: Routledge 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: . Place hold
	199.	Schaum's Outline of Discrete Mathematics by Lipson, Marc, Lipschutz, Seymor Material type: Book Publication details: McGraw-Hill Professional Book Group 1997 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: . Place hold
	200.	Uncertain Inference by Kyburg, Henry Ely, Teng, Choh Man Material type: Book Publication details: Cambridge University Press 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 003/.54 . Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 244 results.