Proof transformations in higher-order logic
Frank Pfenning
Bok Engelsk 1987
| Utgitt | Pittsburgh, Penn. : Department of Mathematics, Carnegie-Mellon University , 1987
|
|---|---|
| Omfang | 167 s.
|
| Opplysninger | Fotografisk opptrykk fra University Microfilms International, Ann Arbor, Mich.. - Avhandling (Ph.D.) - Carnegie-Mellon University, 1987
|
| Emner |
