Your search returned 105 results.

Not what you expected? Check for suggestions
BOOKS
Logic, sets, and recursion / Robert L. Causey.

by Causey, Robert L.

Edition: 2Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Sudbury, Mass. : Jones and Bartlett, 2010Availability: No items available :

Log in to add tags
BOOKS
No cover image available
Basic concepts of Mathematics and logic

by Gemignani, Michael C.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Massachusetts Addison-Wesley Publishing Company 1968Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GEM.

Place hold Log in to add tags
BOOKS
Temporal logic and state systems Fred Kröger, Stephen Merz

by Kroger, Fred | Merz, Stephan.

Series: Texts in theoretical computer scienceMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KRO.

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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha