A mathematical introduction to logic
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0122384520
- 9788131201916
- 511.3 21 END-M
- QA9 .E54 2001
Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | Item holds | Course reserves |
---|---|---|---|---|---|---|---|---|---|
![]() |
IIITD General Stacks | Mathematics | 511.3 END-M (Browse shelf(Opens below)) | Available | Gifted by Haroon Rashid | G01506 | |||
![]() |
IIITD General Stacks | Mathematics | 511.3 END-M (Browse shelf(Opens below)) | Available | 003282 | ||||
![]() |
IIITD General Stacks | Mathematics | 511.3 END-M (Browse shelf(Opens below)) | Available | 003064 | ||||
![]() |
IIITD General Stacks | Mathematics | 511.3 END-M (Browse shelf(Opens below)) | Available | 003065 | ||||
![]() |
IIITD Reference | Mathematics | REF 511.3 END-M (Browse shelf(Opens below)) | Not for loan | 003066 |
Total holds: 0
Browsing IIITD shelves, Shelving location: Reference, Collection: Mathematics Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
REF 511.3 DOW-A Algorithmic randomness and complexity | REF 511.3 DOW-P Parameterized complexity | REF 511.3 EBB-M Mathematical logic | REF 511.3 END-M A mathematical introduction to logic | REF 511.3 HAL-N Naive set theory | REF 511.3 HER-U The universal turing machine : | REF 511.3 HIL-F A first journey through logic |
Includes bibliographical references (p. 307-308) and index.
There are no comments on this title.