Քո փնտրումը վերադարձրեց 2 արդյունք։

Արդյունքներ
		Basic proof theory / by A.S. Troelstra, H. Schwichtenberg. Troelstra, A.S Schwichtenberg, H Մատենաշար։ Cambridge Tracts in Theoretical Computer Science Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1996 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 TRO. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Lectures on linear logic / by A.S. Troelstra. Troelstra, A.S Մատենաշար։ CSLI Lecture Notes ; No. 29 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Stanford, Calif. : Center for the Study of Language and Information, 1992 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 TRO. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

Վերաձևակերպիր քո փնտրումը