Classical Mathematical Logic: The Semantic Foundations of Logic by Richard L. Ep
131,48 €
The book also shows how mathematical logic can be used to formalize particular systems of mathematics. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proofs and the insights behind the proofs, as well as detailed and nontrivial examples and problems.
Jetzt bei Ebay:
