An introduction to mathematical reasoning : numbers, sets and functions
An introduction to mathematical reasoning : numbers, sets and functions
- Cambridge: Cambridge Univeristy Press, 1997
- xii, 350 : Fig ; 23 cm
9780521592697
Proof theory
511.3 ECC
9780521592697
Proof theory
511.3 ECC