Image from Amazon.com
Computability and logic / George S. Boolos, Richard C. Jeffrey.
Material type:
TextPublication details: Cambridge : Cambridge University Press, 1996.Edition: 3rd edDescription: x, 304 p. : ill. ; 24 cmISBN: - 0521389232
- QA 9.5.B66
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Opera (Magaz.)
|
Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino Magazzino | QA 9.5.B66 (Browse shelf(Opens below)) | Available | 0030151575 |
Browsing Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino shelves, Shelving location: Magazzino Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
|
|
|
||
| QA 9.2.D35 Dalla logica alla metalogica : scritti fondamentali di logica matematica / | QA 9.4.B58 Modal logic / | QA 9.4.P75 An introduction to non-classical logic / | QA 9.5.B66 Computability and logic / | QA 9.6.D38 Computability & unsolvability / | QA 9.6.F73 Gödel's theorem : an incomplete guide to its use and abuse / | QA 9.6.G63 Gödel's theorem in focus / |
Reprinted, c1989.
Bibliografia e indice.