The mathematics of logic : a guide to completeness theorems and their applications
Richard W. Kaye.
Cambridge ; New York : Cambridge University Press, 2007.
xi, 204 págs. : ilustraciones ; 24 cm.
ISBN: 9780521882194 (hbk.), 9780521708777 (pbk.)
Bibliografía: (p. 109) e índice.