Search the Library Catalogue
Image from Amazon.com
Image from Google Jackets
Proof Techniques And Fundamental Concepts Of Abstract Mathematics / Daniel Anton
Material type:
TextLanguage: English Publication details: uk : Phoenix, 2023.Edition: 1st edDescription: ii, 189 p. 25 cmISBN: - 9789394612730
- 511.3 ANT
Contents:
Summary: we start with the languages of propositional logic, where the rule for proofs are ver straightforward. ading sets and quantifiers to this yields first order logic, which is the language of modern mathematics
Introduction to logic and proofs,Set and First Order Logic and Other Fundamental Concepts
| Item type | Current library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
Reference
|
Kalaignar Centenary Library Madurai | ENGLISH-REFERENCE BOOKS | மூன்றாம் தளம் / Third floor | 511.3 ANT (Browse shelf(Opens below)) | Not for loan | 284785 | |
| English Books | Kalaignar Centenary Library Madurai | ENGLISH - LENDING BOOKS | மூன்றாம் தளம் / Third floor | 511.3 ANT (Browse shelf(Opens below)) | Available | 284786 | |
| English Books | Kalaignar Centenary Library Madurai | ENGLISH - LENDING BOOKS | மூன்றாம் தளம் / Third floor | 511.3 ANT (Browse shelf(Opens below)) | Available | 284787 |
##$aIncludes index.
Introduction to logic and proofs,Set and First Order Logic and Other Fundamental Concepts
we start with the languages of propositional logic, where the rule for proofs are ver straightforward. ading sets and quantifiers to this yields first order logic, which is the language of modern mathematics