Your search returned 266 results.

Not what you expected? Check for suggestions
BOOKS
Logic and the foundations of game and decision theory edited by Wiebe van der Hoek, Michael Wooldridge.

by Bonanno, Giacomo Ed | Hoek, W. van der | Wooldridge, Michael J.

Series: Texts in logic and games ; 3.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Amsterdam University Press, 2008Other title: LOFT 7.Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BON.

Place hold Log in to add tags
BOOKS
Theoretical aspects of reasoning about knowledge proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

by Halpern, Joseph Y | Halpern, Joseph Y.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Altos, California Morgan. Kaufmann Publishers 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 HAL.

Place hold Log in to add tags
BOOKS
Journey to the edge of reason the life of Kurt Gödel Stephen Budiansky

by Budiansky, Stephen.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 59, Shelf No: 7 Call number: 92(GOD) BUD.
Lists:

Place hold Log in to add tags
BOOKS
Mathematical logic A course with exercises

by Cori, Rene | Lascar, Daniel.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford New York Oxford University Press 2000Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
BOOKS
Mathematical Logic A Course With Exercises, Part II Recursion theory, Godel's theorems, set theory, model theory

;Language: English Language: English Publication details: Oxford Oxford University Press 2001Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
BOOKS
No cover image available
Mathematics for computation (M4C)

by Benini, Marco | Beyersdorff, Olaf | Rathjen, Michael | Schuster, Peter.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New Jersey World Scientific 2023Availability: No items available : Checked out (1).
Lists:

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha