Mathematical Intuitionism: Introduction to Proof Theory

✦ Verified product

Mathematical Intuitionism: Introduction to Proof Theory

CAD 125.00

Title

Add to cart ≡

Brand DRAGALIN, A. G.; MENDELSON, E. (trans.); SILVER, Ben (ed.)

Algebraic models American Mathematical Society Arithmetic Mathematical logic Science Symbolic logic

Attic Books Verified independent store

Presents the most important methods of proof theory in intuitionistic logic. Appendices, bibliography and indices.

Select options