Logics of time and computation / by Robert Goldblatt.
Նյութի տեսակ։ ՏեքստՄատենաշար։ CSLI Lecture Notes ; No. 7Հրատարակման մանրամասներ։ Stanford, Calif. : CSLI Publications, 1987.Նկարագրություն։ ix, 131 pISBN:- 0937073113
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ | |
---|---|---|---|---|---|---|---|---|
Book | American University Library of Armenia | Ընթերցասրահ | 160 GOL C.2 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0012646 | ||
Book | American University Library of Armenia | Ընթերցասրահ | 160 GOL C.3 (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0012671 | ||
Book | American University Library of Armenia | Ընթերցասրահ | 160 GOL (Դիտման դարակ(Բացվում է ներքևում)) | Հասանելի | 76 | AUA-PL-0012525 |
Դիտման American University Library of Armenia դարակ, Հավաքածու։ Ընթերցասրահ Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
Չկան հասանելի կազմերի պատկերներ | ||||||||
160 BEN A manual of intensional logic / | 160 GOL Logics of time and computation / | 160 GOL C.2 Logics of time and computation / | 160 GOL C.3 Logics of time and computation / | 160 LOG Logic and language : | 160 MIN A short introduction to modal logic / | 160 QUI Philosophy of logic / |
Includes bibliographical references and index.
Contents : Propositional modal logic--Some temporal and computational logics.
Այս վերնագրի համար չկան մեկնաբանություններ։
Մուտք գործիր քո հաշիվ ուղարկել մեկնաբանություն։