Proof Techniques

Undergraduate texts in mathematics 2026 Book chapter

View at publisher

Authors: Ulrich Daepp, Pamela B. Gorkin

DOI: 10.1007/978-1-0716-4638-0_5

Cited by: 0

Fields of Study & Subjects

Logic programming and type systems History and Theory of Mathematics Mathematical and Computational Methods