A course in mathematical logic / J. L. Bell and M. Machover
Publication details: Armsterdam : 1977 Elsevier ScienceDescription: xviii, 599 p. : 23 cmISBN:- 0720428440
- 511.3 BEL
Book
| Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|
| Archbishop Kiwanuka Memorial Library | 511.3 BEL (Browse shelf(Opens below)) | Available | 6766 |
Browsing Archbishop Kiwanuka Memorial Library shelves Close shelf browser (Hides shelf browser)
| 511.1 DIS Discrete mathematics / | 511.1 DIS Discrete mathematics / | 511.1 LIP Discrete mathematics / | 511.3 BEL A course in mathematical logic / | 511.3 DAV Computability and Unsolvability / | 511.3 GAL Logic for computer science : foundations of automatic theorem proving / | 511.3 GAL Logic for computer science : foundations of automatic theorem proving / |
Bibliography and index
There are no comments on this title.
Log in to your account to post a comment.