Semantical investigations in heyting's intuitionistic logic
Publication details: London D. Reidel Pub. Com. 1981 1981Description: x,287,[7] pISBN:- 9027712026
- 511.2 GAB
Lending Books
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
|
Lending Books
|
Main Library Lending Section | Lending Collection | 511.2 GAB (Browse shelf(Opens below)) | Available | 407142 |
Total holds: 0
Browsing Main Library shelves, Shelving location: Lending Section, Collection: Lending Collection Close shelf browser (Hides shelf browser)
| 511 WIL A short introduction to numerical analysis | 511 WIL Numerical computation | 511 ZUR Numerical analysis for engineers and physicists | 511.2 GAB Semantical investigations in heyting's intuitionistic logic | 511.2 GIL Guide to mathematical methods | 511.2 POT Mathematical methods | 511.22 RAM උසස් පෙළ ගණිත අභ්යුහනය |
There are no comments on this title.
Log in to your account to post a comment.