Meta-logics and logic programming
Material type:
- 0262011522
- 511.3 APT
Item type | Current library | Call number | Status | Notes | Barcode | |
---|---|---|---|---|---|---|
![]() |
NITTTR Kolkata | 511.3 APT (Browse shelf(Opens below)) | Available | 1998-03-20 | 18069 |
Browsing NITTTR Kolkata shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
No cover image available |
![]() |
![]() |
||
511.1 LOV Discrete matematics : Elementary and beyond | 511.1 SIN Topics in discrete mathematics | 511.1 VAT Discrete mathematics | 511.3 APT Meta-logics and logic programming | 511.3 BAS Introduction to symbolic logic | 511.3 BEL A Course in mathematical logic | 511.3 BER Games of logic |
There are no comments on this title.
Log in to your account to post a comment.