Building proofs : a practical guide /
Suely Oliveira (The University of Iowa, USA), David Stewart (The University of Iowa, USA).
- x, 164 pages : illustrations ; 24 cm
Includes bibliographical (page 159) and index.
9789814641296 9814641294 9789814641302 9814641308
2015012343
Proof theory. Logic, Symbolic and mathematical. Mathematics.