Your search returned 121 results.

Sort
Results
81.
I want to be a mathematician: an automathography by
  • Halmos, Paul R
Publication details: New York: Springer Science & Business Media, 1985
Availability: Not available: IIT Gandhinagar: Checked out (1).

82.
Bounded arithmetic, propositional logic and complexity theory, Vol. 60 by
  • Krajicek, Jan
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 1995
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 KRA.

83.
Continuous lattices and domains, Vol. 93 by
  • Gierz, G
  • Hofmann, K. H
  • Keimel, K
  • Lawson, J. D
  • Mislove, M
  • Scott, D. S
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 2003
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 GIE.

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

85.
Handbook of categorical algebra 1: basic category theory, Vol. 50 by
  • Borceux, Francis
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 1994
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 512.55 BOR.

86.
Handbook of categorical algebra 2: categories and structures, Vol.: 51 by
  • Borceux, Francis
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 1994
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 512.55 BOR.

87.
Handbook of categorical algebra 3: catagories of sheaves, Vol.: 52 by
  • Borceux, Francis
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 1994
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 512.55 BOR.

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

89.
Logic of quantum mechanics, Vol. 15 by
  • Beltrametti, Enrico G
  • Cassinelli, Gianni
Series: Encyclopedia of mathematics and its applications
Publication details: Cambridge: Cambridge University Press, 1984
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 530.12 BEL.

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

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

92.
John von Neumann: selected letters by
  • Rédei, Miklós [Ed.]
Series: History of mathematics ; V. 27
Publication details: Rhode Island: American Mathematical Society, 2005
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 510.92 RED.

93.
Neural networks and deep learning by
  • Aggarwal, Charu C
Publication details: Cham, Switzerland: Springer, 2018
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 006.32 AGG.

94.
Beginner's guide to mathematical logic by
  • Smullyan, Raymond M
Publication details: New York: Dover Publications, 2020
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 SMU.

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

96.
What is the name of this book?: the riddle of Dracula and other logical puzzles by
  • Smullyan, Raymond M
Publication details: New York: Dover Publications, 2011
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 793.73 SMU.

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

98.
Games for your mind: the history and future of logic puzzles by
  • Rosenhouse, Jason
Publication details: Princeton: Princeton University Press, 2020
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 793.73 ROS.

99.
Language of god : a scientist presents evidence for belief by
  • Collins, Francis S
Publication details: New York: Free Press, 2007
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 215 COL.

100.
IWoz: computer geek to cult icon: how I invented the personal computer, co-founded Apple, and had fun doing it by
  • Wozniak, Steve
  • Smith, Gina
Publication details: New York: W. W. Norton & Company, 2007
Availability: Items available for loan: IIT Gandhinagar (1)Call number: 621.39092 WOZ.

Pages


Copyright ©  2022 IIT Gandhinagar Library. All Rights Reserved.

Powered by Koha