This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart …
I give this book 5 stars out of respect for its enormous contribution to mathematical logic; for no doubt many …
1991, 2, 1: 3-28On the basis of a structural-naming reconstruction of scientific knowledge we give a description of the main …
Kleene's textbook is one of the fundamental texts of mathematical logic. It is easy to see why it is (supposedly) …
