Պատկեր Amazon.com -ից

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:

Խորագրեր։

Ցուցիչներ այս գրադարանից: Չկան ցուցիչներ այս գրադարանի այս վերնագրի համար. Մուտք գործիր ցուցիչներ ավելացնելու համար.

Պահումներ
Նյութի տեսակ	Ընթացիկ գրադարան	Հավաքածու	Դարակային համար	Վիճակ	Նշումներ	Վերադարձի ամսաթիվ	Շտրիխ կոդ
Book	American University Library of Armenia	Ընթերցասրահ	511.3 TRO (Դիտման դարակ(Բացվում է ներքևում))	Հասանելի	76		AUA-PL-0012648

Includes bibliographical references and index.

Contents : Sequent calculus for linear logic--Some elemenatry synthatic results.

Այս վերնագրի համար չկան մեկնաբանություններ։

ուղարկել մեկնաբանություն։