Basic proof theory / by A.S. Troelstra, H. Schwichtenberg.
Նյութի տեսակ։ ՏեքստՄատենաշար։ Cambridge Tracts in Theoretical Computer ScienceՀրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1996.Նկարագրություն։ xi, 343 pISBN:- 0521572231
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Book | American University Library of Armenia | Ընթերցասրահ | 511.3 TRO (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0013666 |
Includes bibliographical references and index.
Contents : N-systems and H-systems--Gentzen systems.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։