. . "This fifth edition was first published in 2007. more...Add to my wish listAdd to cartComputability, Complexity, Logicby E. B???rgerElsevier Science 1989; US$ 72.95The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for" . .