Lambdaisčislenie
| Permalink: | http://skupni.nsk.hr/Record/irb.0017006/Details |
|---|---|
| Glavni autor: | Barendregt, H. P. (Author) |
| Vrsta građe: | Knjiga |
| Jezik: | rus |
| Impresum: |
Moskva :
Mir,
1985.
|
| Predmet: |
| LEADER | 00732nam a2200241 i 4500 | ||
|---|---|---|---|
| 001 | 0017006 | ||
| 003 | HR-ZaIRB | ||
| 005 | 20110517110022.0 | ||
| 008 | 060818s1985 -ura |||||||||||||rus d | ||
| 035 | |z 20779 | ||
| 040 | |a HR-ZaIRB |b hrv |c HR-ZaIRB |e ppiak | ||
| 080 | |a 510.2+510.6 | ||
| 100 | 1 | |4 aut |a Barendregt, H. P. | |
| 245 | 1 | 0 | |a Lambdaisčislenie : |b ego sintaksis i sementika / |c H. Barendregt ; perevod s anglijskogo G. E. Minca. |
| 260 | |a Moskva : |b Mir, |c 1985. | ||
| 300 | |a 606 str. : |b ilustr. ; |c 22 cm. | ||
| 500 | |a Prijevod djela: The lambada calculus. | ||
| 504 | |a Bibliografija. | ||
| 653 | |a mathematical logic | ||
| 942 | |c BOOK | ||
| 960 | |a Pisk, Krunoslav | ||
| 998 | |c Pažur Vojvodić, Ivana | ||
| 999 | |c 17038 |d 17038 | ||