Պատկեր Amazon.com -ից
Mathematics, machines & Godel's proof / by N. Shankar.
Նյութի տեսակ։
ՏեքստՄատենաշար։ Cambridge Tracts in Theoretical Computer Science Ser. ; No. 38Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1997.Նկարագրություն։ xv, 202 pISBN: - 0521585333
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
American University Library of Armenia | Ընթերցասրահ | 004.0151 SHA (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0013668 |
Դիտման American University Library of Armenia դարակ, Հավաքածու։ Ընթերցասրահ Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
|
|
|
|
|
|
|
||
| 004.0151 COM Computing tomorrow : | 004.0151 HIG Higher order operational techniques in semantics / | 004.0151 SEM Semantics and logics of computation / | 004.0151 SHA Mathematics, machines & Godel's proof / | 004.019 NIC Using computers : | 004.019 NIC C.2 Using computers : | 004.019 SHO The sachertorte algorithm : |
Includes bibliographical references and index.
Contents : The statement of the incompleteness theorem--Derived inference rules.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։