Search the Library Catalogue
Item type | Current library | Collection | Shelving location | Call number | Status | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Kalaignar Centenary Library Madurai | ENGLISH-REFERENCE BOOKS | மூன்றாம் தளம் / Third floor | 511.3 NAG (Browse shelf(Opens below)) | Not for loan | 172935 |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.3 MON Computable structure theory/ | 511.3 MOR Formal Logic / | 511.3 MOS Abstract Recursion And Intrinsic Complexity | 511.3 NAG Godel's Proof / | 511.3 NEW Godel'S Proof / | 511.3 NEW Godel's proof/ | 511.3 NIC A Transition to Proof / |