Ламбда-исчисление.Его синтаксис и семантика. под. ред. А.С.Кузичева. пер.английского.
By: Барендретт, Х.
Material type:
BookPublisher: Москва ; Мир. ; 1985Description: 606 стр. 22см.Subject(s): Ламбда-исчисление.Его синтаксис и семантика
| ეგზემპლარის სახეობა | ამჟამინდელი ადგილსამყოფელი | შენახვის შიფრი | სტატუსი | დაბრუნების თარიღი (ვადა) | შტრიხკოდი |
|---|---|---|---|---|---|
წიგნი
|
ხელმისაწვდომი | 15302 |
ამ დოკუმენტთან დაკავშირებით კომენტარები არ არსებობს.