Taylor's Library catalog › Results of search for 'se,phr:"Cambridge tracts in theoretical computer science."'

Your search returned 6 results.

Not what you expected? Check for suggestions

		Algorithmic information theory / Gregory J. Chaitin. by Chaitin, Gregory J. Publisher: Cambridge ; New York : Cambridge University Press , 1987Availability: Items available for loan: Taylor's Library-TU [Call number: 004 CHA] (1). Place hold
		Propositional logic : deduction and algorithms / Hans Kleine Büning, Theodor Lettman. by Kleine Buning, H. (Hans) \| Lettmann, T. (Theodor). Publisher: Cambridge, U.K. : Cambridge University Press, 1999Availability: Items available for loan: Taylor's Library-TU [Call number: 004.015113 KLE] (1). Place hold
		Metamathematics, machines, and Godel's proof / N. Shankar by Shanker, N. Publisher: Cambridge, U.K. : Cambridge University Press, 1997Availability: Items available for loan: Taylor's Library-TU [Call number: 511.3028553 SHA] (1). Place hold
		Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek. by Meyer, John-Jules Ch \| Hoek, W. van der (Wiebe van der) [(j.a.)]. Publisher: Cambridge [U.K.] : Cambridge University Press, 1995Availability: Items available for loan: Taylor's Library-TU [Call number: 006.33 MEY] (1). Place hold

Taylor's Library