-20%
Sets, Models and Proofs
Original price was: ₹3,739.00.₹2,992.00Current price is: ₹2,992.00.
Provides a concise introduction to mathematical logic for mathematics students Introduces models before formal proofs Includes a detailed presentation of naïve set theory as used in everyday mathematical reasoning Gives a detailed description of Gentzen-style proof trees and Gödel’s completeness theorem for first-order logic Contains over 100 exercises of varying difficulty
-20%
Sets, Models and Proofs
Original price was: ₹3,739.00.₹2,992.00Current price is: ₹2,992.00.
Provides a concise introduction to mathematical logic for mathematics students Introduces models before formal proofs Includes a detailed presentation of naïve set theory as used in everyday mathematical reasoning Gives a detailed description of Gentzen-style proof trees and Gödel’s completeness theorem for first-order logic Contains over 100 exercises of varying difficulty