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
|
