Visas
1 - 2
av
2
resultat
Hoppa till innehåll
VuFind
Språk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Alla fält
Titel
Upphovsman
Ämne
ISBN/ISSN
Tagg
Identifier
Sök
Avancerad
Sidan laddas om när ett filter tas bort.
Rensa filter
Aktiva filter:
Rekommenderade teman:
Radera filter
Рекурсивные функции
Sidan laddas om när ett filter tas bort.
Rensa filter
Visa begränsningar (1)
Rekommenderade teman:
Radera filter
Рекурсивные функции
Sökresultat
Sökresultat
Rekommenderade teman
Rekommenderade teman
Рекурсивные функции
арифметические предикаты
1
вычислимость
1
классы Гжегорчика
1
математика
1
машинное описание
1
множества
1
неразрешимость
1
нумерация
1
отношения
1
предикаты
1
разрешимость
1
тезис Черча
1
универсальные программы
1
функции
1
функции по Сколему
1
Visas
1 - 2
av
2
resultat
Förfina resultatet
Sortera
Relevans
Tid (nyaste först)
Tid (äldsta först)
Signum
Upphovsman
Titel
1
Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
av
Катленд Н. Найджел
Publicerad Москва, Мир, 1983
Signum:
Laddar…
Placering:
Laddar…
Bok
Laddar…
2
Элементарные рекурсивные функции
av
Марченков С. С. Сергей Серафимович
Publicerad Москва, МЦНМО, 2003
Signum:
Laddar…
Placering:
Laddar…
Bok
Laddar…
Sökverktyg:
RSS-flöde
Skicka sökningen per e-post
Tillbaka
Förfina resultatet
Sidan laddas om när ett filter väljs eller exkluderas.
Konferenspublikation
Organisation
НИ ТПУ
2 resultat
2
Bibliotek
НТБ
2 resultat
2
Vänligen aktivera JavaScript.
Materialtyp
Bok
2 resultat
2
Upphovsman
Катленд Н. Найджел
1 resultat
1
Марченков С. С. Сергей Серафимович
1 resultat
1
Маслов С. Ю
1 resultat
1
Hierarchical level
нулевои
2 resultat
2
Utgivningsår
Från och med:
Till: