Mathematical logic for computer science /
Material type:
TextPublication details: New Delhi: Springer, 2008Description: 304pContained works: Ben-Ari,, MordechaiSubject(s): Logic, symbolic and mathematical | MathematicsDDC classification: 511.3
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
BK
|
Kannur University Central Library | 511.3 BEN/ (Browse shelf (Opens below)) | Available | 22346 | |
|
BK
|
Kannur University Central Library | 511.3 BEN/ (Browse shelf (Opens below)) | Available | 24223 |
Browsing Kannur University Central Library shelves Close shelf browser (Hides shelf browser)
|
|
No cover image available No cover image available | No cover image available No cover image available |
|
|
|
||
| 511.3 5 HIN/L Lambda-calculus and combinators, an introduction / | 511.3 APP Appalachian set theory : 2006-2012 | 511.3 BEN/ Mathematical logic for computer science / | 511.3 BEN/ Mathematical logic for computer science / | 511.3 CHI/M Mathematical logic | 511.3 CO Combinatorial and computational mathematics / | 511.3 COP/L Symbolic logic |
There are no comments on this title.