Your search returned 74 results.

Results
	1.	An introduction to non-classical logic: from if to is Priest, Graham by Priest, Graham Edition: 2nd ed. Publication details: New York Cambridge University Press 2008, c2001 Availability: Items available for loan: Ahmedabad (1)Call number: 160 P7I6/2008. Place hold
	2.	Symbolic Logic Copi, Irving M. by Copi, Irving M Edition: 5th ed. Publication details: New Delhi PHI Learning Private Limited 2014 Availability: Items available for loan: Ahmedabad (1)Call number: 511.3 C6S9-2014. Place hold
	3.	An introduction to formal logic Smith, Peter by Smith, Peter Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge New York Cambridge University Press 2014 Availability: Items available for loan: Ahmedabad (1)Call number: 511.3 S6I6. Place hold
	4.	Logic, mathematics, and computer science: modern foundations with practical applications Nievergelt, Yves by Nievergelt, Yves Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Springer 2015 Availability: Items available for loan: Ahmedabad (1)Call number: 511.3 N4L6. Place hold
	5.	No cover image available The Logical basis for computer programming v.1 by Manna, Zohar Waldinger, Richard Publication details: Reading Addison-Wesley 1985 Availability: Items available for loan: Lucknow (1). Place hold
	6.	No cover image available Discrete mathematical structures with applications to computer science by Tremblay, J P Manohar, R Series: McGraw-Hill computer science series Publication details: New Delhi McGraw-Hill 1975 Availability: Items available for loan: Lucknow (1). Place hold
	7.	No cover image available Mathematical logic and programming languages by J C, C A R Hoare Series: Prentice Hall international series in computer science Publication details: New Delhi Prentice Hall 1985 Availability: Items available for loan: Lucknow (1). Place hold
	8.	No cover image available Uncertainty models for knowledge-based systems a unified approach to the measurement of uncertainty by Goodman, Irwin R Nguyen, Hung T Publication details: Amsterdam North-Holland 1985 Availability: Items available for loan: Lucknow (1). Place hold
	9.	No cover image available Formal methods in artificial intelligence by Delahaye, J P Howlett, J Publication details: London North Oxford 1987 Availability: Items available for loan: Lucknow (1). Place hold
	10.	No cover image available Logic by Hodges, Wilfrid Publication details: Middlesex Penguin Books 1986 Availability: Items available for loan: Lucknow (1). Place hold
	11.	No cover image available Collected works vol 1 publications 1929-1936 by Godel, Kurt Feferman, Solomon Publication details: New York Oxford Univ Press 1986 Availability: Items available for loan: Lucknow (1). Place hold
	12.	No cover image available The Theory of Splines and their applications by Ahlberg, J H Nilson, E N Walsh, J L Series: Mathematics in science and engineering ; v.38 Publication details: New York Academic Press 1967 Availability: Items available for loan: Lucknow (1). Place hold
	13.	No cover image available PX a computational logic by Hayashi, Susumu Nakano, Hiroshi Series: The MIT Press series in the foundations of computing Publication details: Cambridge The MIT Press 1988 Availability: Items available for loan: Lucknow (1). Place hold
	14.	No cover image available Lectures on the logic of computer programming by Manna, Zohar Publication details: Philadelphia SIAM 1980 Availability: Items available for loan: Lucknow (1). Place hold
	15.	No cover image available Multistage fuzzy control a model-based approach to fuzzy control and decision making by Kacprzyk, Janusz Publication details: Chichester John Wiley 1997 Availability: Items available for loan: Lucknow (1). Place hold
	16.	Algebraic approach to non-classical logics / by Helena Rasiowa. by Rasiowa, Helena Series: Studies in logic and the foundations of mathematics Material type: Text; Literary form: Not fiction Publication details: Amsterdam: North-Holland, 1974 Availability: Items available for loan: Bangalore (1)Call number: 511.31 RAS. Place hold
	17.	Automation of reasoning: 1 Classical papers on computational logic 1957-1966 / edited by Jorg Siekmann, Graham Wrightson. by Wrightson, Graham [Editor] Siekmann, Jorg [Editor] Material type: Text; Literary form: Not fiction Publication details: New York: Springer Verlag, 1983 Availability: Items available for loan: Bangalore (1)Call number: 005.131 SIE. Place hold
	18.	No cover image available Axiomatic method: An introduction to mathematical logic / by A H Lightstone. by Lightstone, A H Material type: Text; Literary form: Not fiction Publication details: New Jersey: Prentice-Hall, 1964 Availability: Items available for loan: Bangalore (1)Call number: 511.3 LIG. Place hold
	19.	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: Text; Literary form: Not fiction Publication details: Massachusetts: Addison-Wesley, 1968 Availability: Items available for loan: Bangalore (1)Call number: 511.3 GEM. Place hold
	20.	Combinatory logic vol.2 / by Haskell B Curry. by Curry, Haskell B Series: Studies in logic and the foundations of mathematics Material type: Set Publication details: Amsterdam: North-Holland, 1972 Availability: Items available for loan: Bangalore (1)Call number: 511.6 CUR. Place hold

1
2
3
4
Next
Last

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Series

Topics

Your search returned 74 results.