Izračunljivost, odlučivost i teoremi nepotpunosti
| Permalink: | http://skupni.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:337422/Details |
|---|---|
| Matična publikacija: |
Novija filozofija matematike ffzg.(HR-ZaFF)104131 |
| Glavni autor: | Kleene, Stephen C. (-) |
| Vrsta građe: | Članak |
| Jezik: | hrv |
| LEADER | 00394naa a22001217i 4500 | ||
|---|---|---|---|
| 005 | 20150212140353.0 | ||
| 008 | 150212s1987 |||||||| |||| 00| 0 hrv d | ||
| 040 | |a HR-ZaFF |b hrv |c HR-ZaFF |e ppiak | ||
| 100 | 1 | |a Kleene, Stephen C. | |
| 245 | 1 | |a Izračunljivost, odlučivost i teoremi nepotpunosti | |
| 773 | 0 | |g (1987), 242-268 |t Novija filozofija matematike |w ffzg.(HR-ZaFF)104131 | |
| 942 | |c POG |n 0 | ||
| 999 | |c 337422 |d 337419 | ||