Custom cover image
Computation and reasoning : a type theory for computer science / Zhaohui Luo
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Oxford science publications | International series of monographs on computer science ; 11Publisher: Oxford : Clarendon Press, 1994Description: XI, 228 SISBN:- 0198538359
- QA76
Contents:
Action note: - 3
| Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Inf. / Luo | Available | 36340581090 |
Total holds: 0
Bibliography: p211-220. - Includes index
Archivierung prüfen 20200919 DE-640 3 pdager