Matches in Library of Congress for { <http://lccn.loc.gov/2012939054> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2012939054 contributor B12700635.
- 2012939054 created "2012.".
- 2012939054 date "2012".
- 2012939054 date "2012.".
- 2012939054 dateCopyrighted "2012.".
- 2012939054 description "Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.".
- 2012939054 extent "xv, 356 p. :".
- 2012939054 identifier "1461436303 (hdbk. : acid-free paper)".
- 2012939054 identifier "9781461436300 (hdbk. : acid-free paper)".
- 2012939054 issued "2012".
- 2012939054 issued "2012.".
- 2012939054 language "eng".
- 2012939054 publisher "New York : Springer,".
- 2012939054 subject "Logic, Symbolic and mathematical.".
- 2012939054 subject "QA9 .C843 2012".
- 2012939054 tableOfContents "Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.".
- 2012939054 title "A logical introduction to proof / Daniel W. Cunningham.".
- 2012939054 type "text".