Télécharger le livre :  Mathematical Logic
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text,...

Editeur : OUP Oxford
Parution : 2007-05-18
PDF

63,88

Téléchargement immédiat
Dès validation de votre commande