Mathematical logic and theoretical computer science / by David W. Kueker; Edgar G. K. Lopez-Escobar; Carl H. Smith
Material type:
TextLanguage: English Publication details: New york Marcel Dekker 1987 Description: 383pDDC classification: 511.3
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
NBHM LIBRARY General Stacks | 511.3 KUE/M (Browse shelf(Opens below)) | Available | MAT/2353 |
Browsing NBHM LIBRARY shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
|
|
No cover image available | No cover image available | No cover image available | No cover image available |
|
||
| 511.3 HAR/A An Introduction to the Theory of Numbers | 511.3 JOH/D Discrete Mathematics | 511.3 KEC/D Descriptive set theory and the structure of sets of uniqueness | 511.3 KUE/M Mathematical logic and theoretical computer science | 511.3 PIL/A An introduction to stability theory | 511.3 SHE/C Computable functions | 511.3 SRI/A A Course on Mathematical Logic |
There are no comments on this title.