Kaye, Sanford Mathematics of logic: A guide to completeness theorems and their applications - Cambridge Cambridge University Press 2007 - xi, 204p. ISBN: RS 1584.00 (UKP 20.00) Source: RS 1584.00 (UKP 20.00) Dewey Class. No.: 510 KAY