Your search returned 6 results.

Not what you expected? Check for suggestions
|
Category theory [electronic resource] / Steve Awodey.

by Awodey, Steve, 1959- | ebrary, Inc.

Publisher: Oxford : Oxford ; New York : Clarendon Press ; Oxford University Press, 2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 512/.62] (1).
Recursion theory for metamathematics [electronic resource] / Raymond M. Smullyan.

by Smullyan, Raymond M | ebrary, Inc.

Publisher: New York : Oxford University Press, 1993Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
Gödel's incompleteness theorems [electronic resource] / Raymond M. Smullyan.

by Smullyan, Raymond M | ebrary, Inc.

Publisher: New York : Oxford University Press, 1992Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 511.3] (1).
The structure of models of Peano arithmetic [electronic resource] / Roman Kossak, James H. Schmerl.

by Kossak, Roman, 1953- | Schmerl, J. H. (James Henry), 1940- | ebrary, Inc.

Publisher: Oxford : Clarendon, 2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: [Call number: 511.3] (1).
Diagonalization and self-reference / Raymond M. Smullyan

by Smullyan, Raymond M.

Publisher: Oxford, U.K. : Clarendon Press, 1994Availability: Items available for loan: TC External Storage [Call number: 511.3 SMU] (1).