Eccles, Peter J

An introduction to mathematical reasoning : numbers, sets, and functions - Cambridge: Cambridge Univeristy Press, 1997 - xii, 350 p. : ill. ; 24 cm

9780521597180


Proof theory

511.3 ECC