How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 2006 · Lærebøker
| Utgitt | Cambridge : Cambridge University Press , 2006
|
|---|---|
| Omfang | XIII, 384 s. : ill.
|
| Utgave | 2nd ed.
|
| Emner | Automatic theorem proving
Structured programming Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisføring (Matematikk) Vis mer... Bevisføring
Bevisteori Matematikk Matematisk logikk bevisteori symbolsk matematisk logikk proof theory lærebøker bevisføring matematikk |
| Sjanger | |
| ISBN | 0521675995. - 0521861241. - 9780521675994. - 9780521861243
|
