Oxford logic guides ;

Series by Raymond M. Smullyan
Unsorted Book Raymond M. Smullyan: Gödel's incompleteness theorems (1992, Oxford University Press) No rating

Gödel's incompleteness theorems

by

Unsorted Book Raymond M. Smullyan: Recursion theory for metamathematics (1993, Oxford University Press) No rating

Recursion theory for metamathematics

by

Unsorted Book Raymond M. Smullyan: Diagonalization and self-reference (1994, Clarendon Press) No rating

Diagonalization and self-reference

by

Unsorted Book Raymond M. Smullyan: Set theory and the continuum problem (1996, Clarendon Press, Oxford University Press) No rating

Set theory and the continuum problem

by