Introduction to discrete mathematics via logic and proof. (2019)
- Record Type:
- Book
- Title:
- Introduction to discrete mathematics via logic and proof. (2019)
- Main Title:
- Introduction to discrete mathematics via logic and proof
- Further Information:
- Note: Calvin Jongsma.
- Authors:
- Jongsma, Calvin
- Contents:
- Preface.- List of Notations.- 1. Propositional Logic.- 2. First-Order Logic.- 3. Mathematical Induction and Arithmetic.- 4. Basic Set Theory and Combinatorics.- 5. Set Theory and Infinity.- 6. Functions and Equivalence Relations.- 7. Posets, Lattices, and Boolean Algebra.- 8. Topics in Graph Theory.- A. Inference Rules for PL and FOL.- Index.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2019
- Extent:
- 1 online resource (xx, 482 pages), illustrations (some color)
- Subjects:
- 511/.1
Discrete mathematics
Electronic books - Languages:
- English
- ISBNs:
- 9783030253585
3030253589 - Related ISBNs:
- 9783030253578
- Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed November 13, 2019).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.470398
- Ingest File:
- 02_619.xml