Metamathematics, machines, and Godel's proof
Material type:
TextLanguage: English Series: Cambridge tracts in theoretical computer sciencePublication details: Cambridge CambridgeUniversity Press 1994Description: xv,202pISBN: - 052142027X (hbd)
- B0a9S, N4
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B0a9S N4 (Browse shelf(Opens below)) | Available | SL1027245 |
Bibliography 189-196p; Index 197-202p
There are no comments on this title.
Log in to your account to post a comment.
