Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
By: Boolos, George.
Material type:
TextPublisher: Cambridge : Cambridge University Press, 2002. Edition: 4th edition.Description: xi, 356 p. ill. 25 cm.ISBN: 0-521-00758-5.
| Item type | Current library | Call number | Materials specified | Status | Barcode | |
|---|---|---|---|---|---|---|
| Книга | Сховище дослідницьке | QA9.59 B66 2002 (Browse shelf(Opens below)) | I | Available | 2055023 |
Browsing Сховище дослідницьке shelves Close shelf browser (Hides shelf browser)
| QA9.2 .A25 1967 An introduction to many-valued logics | QA9.2 .F74 1970 Frege and Gd̲el | QA9.3 .L46 1971 Beginning logic | QA9.59 B66 2002 Computability and logic | QA9.65 .N34 1964 Gödel’s proof | QA90 .O74 1968 Теория графов | QA93 .G69 2002 Mathematics |
Бібліогр. : c. 348, Index
There are no comments on this title.
Log in to your account to post a comment.
