Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-4 of 4)
Wainer, S. S.
1
E-book
1996

Computability, enumerability, unsolvability : directions in recursion theory



Cambridge [England] ; New York : Cambridge University Press, 1996

Rating:

 
 
2
Book
1992

Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990


Leeds Proof Theory Programme (1990 : Leeds University)
Cambridge ; New York : Cambridge University Press, 1992

Rating:

 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Acz/Pta  TEMPORARILY UNAVAILABLE
3
E-book
2011

Proofs and Computations


Schwichtenberg, Helmut, 1942-
Cambridge : Cambridge University Press, 2011

Rating:

 
 
4
E-book
1980

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979


Logic Colloquium (1979 : Leeds, England)
Cambridge ; New York : Cambridge University Press, 1980

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results