Web OPAC

Your search returned 18 results.

Results
	1.	course on mathematical logic S. M. Srivastava. by Srivastava, S. M Material type: Text; Format: print ; Literary form: Not fiction 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 Material type: Text; Format: print ; Literary form: Not fiction 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 Material type: Text; Format: print ; Literary form: Not fiction 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 Material type: Text; Format: print ; Literary form: Not fiction 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. Material type: Text; Format: print ; Literary form: Not fiction 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 Material type: Text; Format: print ; Literary form: Not fiction 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 Material type: Text; Format: print ; Literary form: Not fiction 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 ; 2067 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: 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 Material type: Text 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 Material type: Text; Format: print ; Literary form: Not fiction 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. Material type: Text Publication details: Noida: Pearson India Education, 2019 Availability: Items available for loan: Central Library, IISER Bhopal (7)Call number: 160 C791S5, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (3)Call number: 160 C791S5, ... Add to cart (remove)
	12.	Logical forms : an introduction to philosophical logic / Mark Sainsbury. by Sainsbury, R. M. (Richard Mark) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction 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. Material type: Text; Format: available online ; Literary form: Not fiction 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 Material type: Text; Format: print ; Literary form: Not fiction 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.] Material type: Text; Format: available online ; Literary form: Not fiction 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. Material type: Text; Format: print ; Literary form: Not fiction 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, 1988- [author.] Spivak, David I, 1978- [author.] Material type: Text; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York, NY : Cambridge University Press, 2019 Availability: No items available. Add to cart (remove)
	18.	How to prove it : a structured approach / Daniel J. Velleman (Amherst College, Massachusetts). by Velleman, Daniel J [author.] Edition: Third edition. Material type: Text; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York, NY : Cambridge University Press, [2019] Availability: No items available. Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in