Your search returned 11 results.

Results
	1.	Computability, complexity, and languages : fundamentals of theoretical computer science Martin D. Davis, Ron Sigal, Elaine J. Weyuker by Davis, Martin Sigal, Ron Weyuker, Elaine J Series: ; \| Computer science and scientific computing Edition: 2nd ed Material type: Book; Format: print ; Literary form: Not fiction Current publication frequency: . Publication details: Boston Morgan Kaufmann Publishers 1994 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.3 DAV. Lists: Mathematics. Place hold Request article Add to cart (remove)
	2.	Finite automata, formal logic, and circuit complexity by Straubing, Howard Series: Progress in Theoretical Computer Science Publication details: Boston : Birkhäuser, 1994 Availability: Not available: IIT Gandhinagar: Checked out (1). Place hold Request article Add to cart (remove)
	3.	Elements of finite model theory by Leonid, Libkin Series: Texts in Theoretical Computer Science Publication details: Berlin : Springer-Verlag, 2004 Availability: Items available for loan: IIT Gandhinagar (1)Call number: 511.34 LEO. Place hold Request article Add to cart (remove)
	4.	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. Place hold Request article Add to cart (remove)
	5.	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. Place hold Request article Add to cart (remove)
	6.	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. Place hold Request article Add to cart (remove)
	7.	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. Place hold Request article Add to cart (remove)
	8.	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. Place hold Request article Add to cart (remove)
	9.	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. Place hold Request article Add to cart (remove)
	10.	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. Place hold Request article Add to cart (remove)
	11.	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. Place hold Request article Add to cart (remove)

Copyright © 2022 IIT Gandhinagar Library. All Rights Reserved.

Follow Us :

Powered by Koha