KAYE,R MATHEMATICS OF LOGIC:GUIDE TO COMPLETENCE THEOREMS AND THEIR APPLICATIONS - Cambridge Cambridge University Press 2007 - xii+204p.,23x15cms. ISBN: 0521708777 Dewey Class. No.: 510.8 K23