Computability theory an introduction to recursion theory द्वारा Enderton, Herbert B.

Available for University of the Philippines System via ScienceDirect. Click here to access
Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy

Computability theory an introduction to recursion theory द्वारा Enderton, Herbert B.

Recursion theory and computational complexity lectures given at a summer school of the Centro internazionale matematico estivo (C.I.M.E.) held in Bressanone(Bolzano), Italy, June 1...

Available for University of the Philippines Diliman via SpringerLink. Click here to access

How to think about algorithms द्वारा Edmonds, Jeff 1963-

Table of contents only

Thinking recursively with Java द्वारा Roberts, Eric

Table of contents only

Fundamentals of mathematical logic द्वारा Hinman, Peter G.

Recursion theory for metamathematics द्वारा Smullyan, Raymond M.

Recursion theory द्वारा Shoenfield, Joseph R. 1927-

Algorithmics theory and practice द्वारा Brassard, Gilles

Combinatory reduction systems द्वारा Klop, J. W.