Web OPAC

Your search returned 19 results.

Results
	1.	course on mathematical logic S. M. Srivastava. by Srivastava, S. M Publication details: New York : Springer, 2008 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.3 SR38C. Add to cart (remove)
	2.	Mathematical logic: a course with exercise part l: propositional calculus, boolean algebras, predicate calculus Rene Cori and Daniel Lascar. by Cori, Rene Lascar, Daniel Publication details: Oxford : Oxford University, 2008 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.3 C813M. Add to cart (remove)
	3.	The foundations of mathematics Ian Stewart and David Tall by Stewart, Ian Tall, David Publication details: Oxford : Oxford University Press, 2007 Availability: Items available for loan: Central Library, IISER Bhopal (2)Call number: 511.3 ST49F, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (2)Call number: 511.3 ST49F, ... Add to cart (remove)
	4.	Course on borel sets S. M. Srivastava. by Srivastava, S. M Publication details: New York : Springer-Verlag, 1998 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.32SR38C. Add to cart (remove)
	5.	Course in mathematical logic for mathematicians Y. I. Manin. by Manin, Y. I Edition: 2nd ed. Publication details: New York : Springer-Verlag, 2010 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.3 M314C2. Add to cart (remove)
	6.	No cover image available Sets, Logic, and Categories Peter J. Cameron. by Cameron, Peter J Series: Springer undergraduate mathematics series Publication details: London ; New York : Springer, c1999 Online resources: Publisher description Table of contents only Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.322 C145S. Add to cart (remove)
	7.	Logical Introduction to Proof Daniel W. Cunningham. by Cunningham, Daniel W Publication details: New York : Springer, 2012 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 511.3 C917L. Add to cart (remove)
	8.	Stochastic Calculus with Infinitesimals [electronic resource] / by Frederik Herzberg. by Herzberg, Frederik [author.] SpringerLink (Online service) Series: Lecture Notes in Mathematics ; 2067Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for reference: Central Library, IISER Bhopal: Not for loan (1)Call number: 511.3. Add to cart (remove)
	9.	Mathematical logic for computer science by Mordechai Ben-Ari. by Ben-Ari, Mordechai, 1948- Edition: 3rd edition Publication details: London : Springer, 2001 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.131 B43M3. Add to cart (remove)
	10.	Automata, logics, and infinite games Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.). by Grädel, Erich Thomas, Wolfgang Wilke, Thomas Series: Lecture notes in computer science ; 2500 Publication details: New York : Springer, 2002 Online resources: Publisher description Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004 G75A. Add to cart (remove)
	11.	Symbolic logic Irving M. Copi. by Copi, Irving M Edition: 5th ed. Publication details: Noida: Pearson India Education, 2019 Availability: Items available for loan: Central Library, IISER Bhopal (6)Call number: 160 C791S5, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (3)Call number: 160 C791S5, ... Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	12.	Logical forms : an introduction to philosophical logic / Mark Sainsbury. by Sainsbury, R. M. (Richard Mark) Edition: 2nd ed. Publication details: Oxford, UK ; Malden, Mass. : Blackwell Publishers, 2001 Availability: No items available. Add to cart (remove)
	13.	A mathematical introduction to logic / Herbert B. Enderton. by Enderton, Herbert B Edition: 2nd ed. Publication details: San Diego : Harcourt/Academic Press, ©2001 Availability: No items available. Add to cart (remove)
	14.	Modern logic : a text in elementary symbolic logic / Graeme Forbes. by Forbes, Graeme Publication details: New York : Oxford University Press, 1994 Online resources: Publisher description Table of contents only Contributor biographical information Availability: No items available. Add to cart (remove)
	15.	No cover image available Mathematical logic through Python Yannai A. Gonczarowski, Harvard University, Massachusetts, Noam Nisan, Hebrew University of Jerusalem. by Gonczarowski, Yannai A [author.] Nisan, Noam [author.] Publication details: Cambridge: Cambridge University Press, 2022 Availability: Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	16.	Schaum's outline of Discrete mathematics by Lipschutz, Seymour Lipson, Marc Lars Series: Schaum's outlines Series \| Schaum's outline series Edition: 4th ed. Publication details: New York : McGraw-Hill, 2022 Online resources: Publisher description Availability: Items available for loan: Central Library, IISER Bhopal (3)Call number: 510 L66D4, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 510 L66D4. Add to cart (remove)
	17.	An invitation to applied category theory : seven sketches in compositionality Brendan Fong (Massachusetts Institute of Technology), David I. Spivak (Massachusetts Institute of Technology). by Fong, Brendan Spivak, David I Publication details: Cambridge: Cambridge University Press, 2021 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 512.62 F732I. Add to cart (remove)
	18.	How to prove it : a structured approach Daniel J. Velleman (Amherst College, Massachusetts). by Velleman, Daniel J Edition: Third edition. Publication details: Cambridge: Cambridge University Press, 2023 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.3 V54H3. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 511.3 V54H3. Add to cart (remove)
	19.	Art of logic: Eugenia Cheng. How to make sense in a world that doesn't by Cheng, Eugenia Publication details: London: Profile Books Ltd., 2019 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 160 C421A. Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in