Your search returned 21 results.

Results
	1.	Concise introduction to pure mathematics Martin Liebeck by Liebeck, M. W Series: ; \| Chapman & Hall/CRC mathematics Edition: 3rd ed. Material type: Book Current publication frequency: . Publication details: Boca Raton CRC Press 2010 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 510 LIE. Lists: Mathematics. Place hold Request article Add to cart (remove)
	2.	Introduction to mathematical logic by Elliott Mendelson by Mendelson, Elliott Series: ; Edition: 5th ed. Material type: Book Current publication frequency: . Publication details: Boca Raton: CRC Press, 2010 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 MEN. Place hold Request article Add to cart (remove)
	3.	Tractatus logico-philosophicus by Ludwig Wittgenstein and Brian McGuinness by Wittgenstein, Ludwig McGuinness, Brian Series: ; \| Routledge classics Edition: Material type: Book Current publication frequency: . Publication details: New York: Routledge, 2001 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 192 WIT. Place hold Request article Add to cart (remove)
	4.	Descriptive complexity by Neil Immerman by Immerman, Neil Series: ; \| Graduate texts in computer science Edition: Material type: Book Current publication frequency: . Publication details: New York Springer c1999 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 IMM. Lists: Mathematics. Place hold Request article Add to cart (remove)
	5.	Mathematics and plausible reasoning v. 1, induction and analogy in mathematics by Polya, G Series: ; Edition: Material type: Book Current publication frequency: . Publication details: Princeton, N.J.: Princeton University Press, 1954 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 510.1 POL. Lists: Mathematics. Place hold Request article Add to cart (remove)
	6.	How to prove it: a structured approach by Daniel J. Velleman by Velleman, Daniel J Series: ; Edition: Material type: Book; Format: print ; Literary form: Not fiction Current publication frequency: . Publication details: Cambridge Cambridge University Press 2006 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 VEL. Lists: Mathematics. Place hold Request article Add to cart (remove)
	7.	Introduction to the foundations of mathematics by Raymond L. Wilder by Wilder, Raymond L Series: ; \| Dover books on mathematics Edition: 2nd ed. Material type: Book; Format: print ; Literary form: Not fiction Current publication frequency: . Publication details: New York Dover Publication 2012 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 510 WIL. Lists: Mathematics. Place hold Request article Add to cart (remove)
	8.	Beyond infinity: an expedition to the outer limits of mathematical universe by Cheng, Eugenia Publication details: London: Profile Books, 2017 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 CHE. Lists: Mathematics. Place hold Request article Add to cart (remove)
	9.	Logical foundations of proof complexity by Cook, Stephen Nguyen, Phuong Series: Perspectives in logic Publication details: Cambridge: Cambridge University Press, 2014 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.36 COO. Lists: Mathematics. Place hold Request article Add to cart (remove)
	10.	Games, puzzles, and computation by Hearn, Robert A Demaine , Erik D Publication details: Wellesley: A K Peters, Ltd., 2009 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 510 HEA. Lists: Mathematics. Place hold Request article Add to cart (remove)
	11.	Notebooks, 1914-1916 by Wittgenstein, Ludwig Wright, G. H, Ed Anscombe G. E. M, Ed Edition: 2nd ed. Publication details: Oxford: Blackwell Publishing, 1998 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 192 WIT. Place hold Request article Add to cart (remove)
	12.	Logic as algebra by Halmos, Paul Givant, Steven Series: Dolciani mathematical expositions; no. 21 Publication details: Washington, DC: Mathematical Association of America, 1998 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 HAL. Place hold Request article Add to cart (remove)
	13.	Introduction to Kolmogorov complexity and its applications by Li, Ming Vitanyi, Paul Series: Text in the Computer Science Edition: 3 rd ed. Publication details: Canada: Springer, 2008 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 519.5 LIM. Place hold Request article Add to cart (remove)
	14.	First course in logic: an introduction to model theory, proof theory, computability, and complexity by Hedman, Shawn Series: Oxford texts in logic; 1 Publication details: New York: Oxford University Press, 2004 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 160 HED. Place hold Request article Add to cart (remove)
	15.	Logical foundations of mathematics and computational complexity: a gentle introduction by Pudlak, Pavel Publication details: Switzerland: Springer, 2013 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 PUD. Place hold Request article Add to cart (remove)
	16.	Elements of causal inference: foundations and learning algorithms by Peters, Jonas Janzing, Dominik Schölkopf, Bernhard Series: Adaptive computation and machine learning Publication details: Cambridge: MIT Press, 2017 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 006.31 PET. Place hold Request article Add to cart (remove)
	17.	Graph structure and monadic second-order logic: a language-theoretic approach, Vol. 138 by Courcelle, Bruno Engelfriet, Joost Series: Encyclopedia of mathematics and its applications Publication details: Cambridge: Cambridge University Press, 2012 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 COU. Place hold Request article Add to cart (remove)
	18.	Purity, spectra and localisation, Vol. 121 by Prest, Mike Series: Encyclopedia of mathematics and its applications Publication details: Cambridge: Cambridge University Press, 2009 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 PRE. Place hold Request article Add to cart (remove)
	19.	Lectures in logic and set theory: mathematical Logic , Vol.1 by Tourlakis, George Series: Cambridge studies in advanced mathematics ; 83 Publication details: Cambridge: Cambridge University Press, 2003 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 TOU. Place hold Request article Add to cart (remove)
	20.	How to prove it: a structured approach by Velleman, Daniel J Edition: 3rd ed. Publication details: Cambridge, Cambridge University Press, 2019 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 VEL. Place hold Request article Add to cart (remove)

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 21 results.