Your search returned 57 results.

Sort
Results
41.
Commutative algebra: constructive methods - finite projective modules by
  • Lombardi, Henri
  • Quitté, Claude
Series: Algebra and applications, 1572-5553; Vol.20
Publication details: Dordrecht: Springer, 2015
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 512.44 LOM.

42.
Using algebraic geometry by
  • Cox, David A
  • Little, John
  • O'shea, Donal
Series: Graduate texts in mathematics
Edition: 2nd ed.
Publication details: New York: Springer, 2005
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 516.3 COX.

43.
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.

44.
Combinatorics, words and symbolic dynamics, Vol. 159 by
  • Berthé, Valérie [Ed.]
  • Rigo, Michel [Ed.]
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 2016
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.6 BER.

45.
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.

46.
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.

47.
Logic's lost genius: the life of Gerhard Gentzen by
  • Menzler-Trott, Eckart
  • Craig Smorynski (Tr.)
  • Edward Griffor (Tr.)
Series: History of mathematics ; v. 33
Publication details: Rhode island: American Mathematical Society, 2007
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 510.92 MEN.

48.
Hausdorff on ordered sets by
  • Plotkin, J. M
Series: History of mathematics v. 25
Publication details: Rhode Island: American Mathematical Society, 2005
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.32 PLO.

49.
Toposes and local set theories: an introduction by
  • Bell, J. L
Publication details: New York: Dover Publications, 2018
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.32 BEL.

50.
Write your own proofs: in set theory and discrete mathematics by
  • Babich, Amy
  • Person, Laura
Publication details: New York: Dover Publications, 2019
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.322 BAB.

51.
Lectures in logic and set theory: set theory, Vol. 2 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.

52.
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.

53.
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.

54.
Knowledge graphs by
  • Hogan, Aidan and [et al.]
Series: Synthesis lectures on data, semantics, and knowledge
Publication details: London: Morgan and Claypool, 2022
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 001.4226 HOG.

55.
Invitation to applied category theory by
  • Fong, Brendan
  • Spivak, David I
Publication details: Cambridge: Cambridge University Press, 2019
Availability: Not available: IIT Gandhinagar: Not for Issue (1).

56.
Set theory and logic by
  • Stoll, Robert R
Publication details: New York: Dover Publications, 1961
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.322 STO.

57.
Joy of abstraction: an exploration of math, category theory, and life by
  • Cheng, Eugenia
Publication details: Cambridge: Cambridge University Press, 2023
Availability: Not available: IIT Gandhinagar: Checked out (1).

Pages


Copyright ©  2022 IIT Gandhinagar Library. All Rights Reserved.

Powered by Koha