Lectures on linear logic / by A.S. Troelstra.
Նյութի տեսակ։ ՏեքստՄատենաշար։ CSLI Lecture Notes ; No. 29Հրատարակման մանրամասներ։ Stanford, Calif. : Center for the Study of Language and Information, 1992.Նկարագրություն։ ix, 200 pISBN:- 0937073784
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Book | American University Library of Armenia | Ընթերցասրահ | 511.3 TRO (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0012648 |
Դիտման American University Library of Armenia դարակ, Հավաքածու։ Ընթերցասրահ Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
Չկան հասանելի կազմերի պատկերներ | Չկան հասանելի կազմերի պատկերներ | |||||||
511.3 MEY Epistemic logic for AI and computer science / | 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 / |
Includes bibliographical references and index.
Contents : Sequent calculus for linear logic--Some elemenatry synthatic results.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։