Sökt på: Böcker av George S. Boolos
totalt 5 träffar
Computability and Logic
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an …
The Logic of Provability
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author’s earlier The …
Computability and Logic
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an …
Computability and Logic
This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market …
Computability and Logic
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an …