Elementary logics : a procedural perspective / Dov Gabbay.
Material type:
- 0137263651
- 511.3 GAB 1998
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH | 511.3 GAB 1998 (Browse shelf(Opens below)) | 20038 | Available | 0000021140 | |
![]() |
PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH | 511.3 GAB 1998 (Browse shelf(Opens below)) | 20039 | Available | 0000021141 |
Browsing PERPUSTAKAAN POLITEKNIK SULTAN SALAHUDDIN ABDUL AZIZ SHAH shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.3 COH 1997 Introduction to computer theory | 511.3 COH 1997 Introduction to computer theory | 511.3 DUM 2007 Transition to higher mathematics : structure and proof | 511.3 GAB 1998 Elementary logics : a procedural perspective | 511.3 GAB 1998 Elementary logics : a procedural perspective | 511.3 GRA 1999 Graph drawing : algorithms for the visualization of graphs | 511.3 GRA 1999 Graph drawing : algorithms for the visualization of graphs |
Includes bibliographical references and index
There are no comments on this title.