An introduction to mathematical reasoning : numbers, sets and functions
Peter J. Eccles
Bok Engelsk 1997
Utgitt | Cambridge : Cambridge University Press , 1997
|
---|---|
Omfang | XII, 350 s. : ill.
|
Emner | Proof theory
Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring Matematikk bevisføring resonnering matematisk |
ISBN | 0521592690. - 0521597188
|