How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 1994 · Lærebøker
| Utgitt | Cambridge : Cambridge University Press , 1994
|
|---|---|
| Omfang | 304 s.
|
| Emner | Automatic theorem proving
Structured programming Automatisk bevisføring : (NO-TrBIB)REAL009781 Bevisteori : (NO-TrBIB)REAL011320 Vis mer... Matematikk : (NO-TrBIB)REAL013455
Matematisk logikk : (NO-TrBIB)REAL012433 bevisteori symbolsk matematisk logikk proof theory lærebøker bevisføring matematikk |
| Sjanger | Lærebøker : (NO-TrBIB)REAL030093
|
| ISBN | 0521441161. - 0521446635
|
