Intensional logics for programming
Material type:
TextLanguage: English Series: Studies in logic and computation; 1Publication details: Oxford Clarendon Press 1992Description: 219p. cmSubject(s): DDC classification: - D65,8(B)92:(R1), N2
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Textual
|
Central Science Library | Central Science Library | D65,8(B)92:(R1) N2 (Browse shelf(Opens below)) | Available | SL1025930 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
|
No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available | ||
| D65,8(B)92:R1 N2 Deductive data bases and logic programming | D65,8(B)92:(R1) N2 Logic programming new frontiers | D65,8(B)92:(R1) N2 Logic and object | D65,8(B)92:(R1) N2 Intensional logics for programming | D65,8(B)92:(R1) N2.1 RR Handbook of logic in computer science | D65,8(B)92:(R1) N2.2 RR Handbook of logic in computer science | D65,8(B)92:R1p1,N86 M8 Proceeding on Foundations of logic and functional programming |
There are no comments on this title.
Log in to your account to post a comment.