Introduction to discrete mathematics via logic and proof
From MaRDI portal
Publication:5229510
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to combinatorics (05-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Graph theory (05Cxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Enumerative combinatorics (05Axx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)
Recommendations
Cited in
(4)
This page was built for publication: Introduction to discrete mathematics via logic and proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5229510)