Your search returned 99 results.

Not what you expected? Check for suggestions

Results
	1.	Mathematical logic H.D. Ebbinghaus, J.Flum and W. Thomas by Ebbinghaus, H.D \| Axler, S [ed.] \| Flum, J [Auth.]. Series: Undergraduate texts in mathematicsEdition: 2nd ed.Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer 1994Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 EBB-M. Log in to add tags Add to cart (remove)
	2.	Introduction to mathematical logic Elliott Mendelson by Mendelson, E \| Rosen, KH [ed.]. Series: Discrete mathematics and its applications ; 48Edition: 5th ed.Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca raton CRC 2010Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.65 MEN-I. Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.65 MEN-I. (1 votes) Place hold Log in to add tags Add to cart (remove)
	3.	Graph structure and monadic second-order logic: a language theoretic approach Bruno Courcelle and Joost Engelfriet by Courcelle, burno \| Engelfriet, Joost [Auth.]. Series: Encyclopedia of mathematics and its applications 138Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 2012Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 519.717 COU-G. Log in to add tags Add to cart (remove)
	4.	First course in mathematical logic Patrick Suppes and Shirley Hill by Suppes, P \| Hill, S [Auth.]. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Mieola Dover 1964Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.6 SUP-F. Log in to add tags Add to cart (remove)
	5.	Logical labyrinths RM Smullyan by Smullyan, RM. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: wellesley A K Peters 2009Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.63 SMU-L. Place hold Log in to add tags Add to cart (remove)
	6.	Introduction to mathematical proofs: a transition C E. Roberts by Roberts, C E. Series: Textbooks in mathematicsMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca raton CRC 2010Availability: Items available for loan: NISER LIBRARY (1)Call number: 510 ROB-I. Place hold Log in to add tags Add to cart (remove)
	7.	Introduction to mathematics of satisfiability Victor W. Marek by Marek, Victor W. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton CRC 2009Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.633 MAR-I. Place hold Log in to add tags Add to cart (remove)
	8.	Handbook of mathematical induction:theory and applications David S. Gunderson by Gunderson, David S. Series: Discrete mathematics and its applicationsMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton CRC 2011Availability: Items available for loan: NISER LIBRARY (3)Call number: 510.646 GUN-H, ... Place hold Log in to add tags Add to cart (remove)
	9.	Introduction to mathematics of satisfiability Victor W. Marek by Marek, Victor W. Series: Chapman & hall/ crc studies in informatics seriesMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton CRC 2009Availability: Items available for reference: NISER LIBRARY: R (REFERENCE) (1)Call number: 510.633 MAR-I. Log in to add tags Add to cart (remove)
	10.	No cover image available No cover image available Essays in Constructive Mathematics by Edwards, Harold M., author. Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2005Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23. Place hold Log in to add tags Add to cart (remove)
	11.	No cover image available No cover image available 18 Unconventional Essays on the Nature of Mathematics by Hersh, Reuben., editor. Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510, 23. Place hold Log in to add tags Add to cart (remove)
	12.	No cover image available No cover image available Mathematical Problems from Applied Logic I by Gabbay, Dov M., editor. Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23. Place hold Log in to add tags Add to cart (remove)
	13.	No cover image available No cover image available Notes on Set Theory by Moschovakis, Yiannis., author. Edition: Second Edition.Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23. Place hold Log in to add tags Add to cart (remove)
	14.	No cover image available No cover image available A Concise Introduction to Mathematical Logic by Rautenberg, Wolfgang., author. Edition: 2.Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23. Place hold Log in to add tags Add to cart (remove)
	15.	No cover image available No cover image available Ideals, Varieties, and Algorithms by Cox, David., author. Edition: Third Edition.Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York, Imprint: Springer, 2007Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 516.35, 23. Place hold Log in to add tags Add to cart (remove)
	16.	No cover image available No cover image available Problems and Theorems in Classical Set Theory by Komjath, Peter. Material type: Computer file; Format: electronic Language: English Publication details: New York Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23. Place hold Log in to add tags Add to cart (remove)
	17.	No cover image available No cover image available Techniques of Constructive Analysis by Bridges, Douglas S., author. Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2006Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 511.3, 23. Place hold Log in to add tags Add to cart (remove)
	18.	No cover image available No cover image available The Proof is in the Pudding by Krantz, Steven G., author. Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2011Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 510.9, 23. Place hold Log in to add tags Add to cart (remove)
	19.	No cover image available No cover image available Additive Number Theory by Chudnovsky, David., editor. Edition: 1.Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York, Imprint: Springer, 2010Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1)Call number: 512.7, 23. Place hold Log in to add tags Add to cart (remove)
	20.	No cover image available No cover image available Introduction to Boolean Algebras by Halmos, Paul., author. Material type: Computer file; Format: electronic Language: English Publication details: New York, NY Springer New York 2009Online access: Click here to access online Availability: Items available for loan: NISER LIBRARY (1). Place hold Log in to add tags Add to cart (remove)

1
2
3
4
5
Next
Last

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | ✉Email: libniser@niser.ac.in ☎Phone: +91-674-2494171

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 99 results.