Mathematical logic
By: Gandy, R. O.
Material type:
BookSeries: Collected works of A. M. Turing.Publisher: Amsterdam Elsevier 2001Description: xii, 293p.ISBN: 0-444-50423-0.
| Item type | Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Reference
|
511.3 GAN (Ref.) (Browse shelf) | Not for loan | Reference | 502558 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
| 511.3 FOR Reasoning about theoretical entities | 511.3 FRA Inexhaustibility: A non-exchaustive treatment | 511.3 FRI Folk algebras in algebra, logic and computer science | 511.3 GAN (Ref.) Mathematical logic | 511.3 GER Introduction to Mathematical Structures and Proofs | 511.3 GIL Logicism renewed: Logical foundations for mathematics and computer science | 511.3 HIN Fundamentals of mathematical logic |
There are no comments for this item.