This book discusses the received logic of quantification, the idea of the completeness of a mathematical system as well as the notions of a model in higher-order logic, of formalism, of computability and of parallel processing.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.