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 |
Դիտման American University Library of Armenia դարակ, Հավաքածու։ Ընթերցասրահ Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
Չկան հասանելի կազմերի պատկերներ | Չկան հասանելի կազմերի պատկերներ | Չկան հասանելի կազմերի պատկերներ | ||||||
511.3 MIN Computation : | 511.3 STO Mathematical theory of domains / | 511.3 TRO Lectures on linear logic / | 511.3 TRO Basic proof theory / | 511.3 UNG Normalization, cut-elemention and the theory of proofs / | 511.33 JAN Tables of higher functions / | 511.33 SAA Mathematical methods of operations research / |
Includes bibliographical references and index.
Contents : N-systems and H-systems--Gentzen systems.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։