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
|