Պատկեր Amazon.com -ից
Normalization, cut-elemention and the theory of proofs / by A.M. Ungar.
Նյութի տեսակ։
ՏեքստՄատենաշար։ CSLI Lecture Notes ; No. 28Հրատարակման մանրամասներ։ Stanford, Calif. : Center for the Study of Language and Information, 1992.Նկարագրություն։ v, 236 pISBN: - 0937073830
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
|---|---|---|---|---|---|---|---|---|
Book
|
American University Library of Armenia | Ընթերցասրահ | 511.3 UNG (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0012641 |
Դիտման American University Library of Armenia դարակ, Հավաքածու։ Ընթերցասրահ Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
|
|
|
|
Չկան հասանելի կազմերի պատկերներ | Չկան հասանելի կազմերի պատկերներ | Չկան հասանելի կազմերի պատկերներ | ||
| 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 / | 511.33 TAB V.2 Tables of integral transforms / |
Includes bibliographical references and index.
Contents : Background--Comparing NJ with LJ.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։