Résultat(s)
1 - 1
résultats de
1
Aller au contenu
VuFind
Langue
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
हिंदी
Հայերէն
Українська
Tous les champs
Titre
Auteur
Sujet
ISBN/ISSN
Tag
Identifiant
Rechercher
Recherche avancée
Résultats de la recherche - "рекурсивные определения"
Résultats de la recherche - "рекурсивные определения"
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
арифметика
1
исчисления
1
логические выводы
1
математика
1
математическая логика
1
предикаты
1
разрешимость
1
рекурсивные определения
1
формализация
1
Résultat(s)
1 - 1
résultats de
1
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Cote
Auteur
Titre
1
Основания математики. Логические исчисления и формализация арифметики.
par
Гильберт Д. Давид
Publié Москва, Наука, 1982
Sujets:
Cote:
Chargement en cours…
Localisé:
Chargement en cours…
Livre
Chargement en cours…
Outils de recherche:
S'abonner aux flux RSS
Envoyer cette recherche par courriel
Retour
Affiner les résultats
La page se rechargera quand un filtre de sélection ou d'exclusion aura été positionné.
Actes de congrès
Institution
НИ ТПУ
1 résultats
1
Bibliothèque
НТБ
1 résultats
1
Format
Livre
1 résultats
1
Auteur
Бернайс П. Пауль
1 résultats
1
Гильберт Д. Давид
1 résultats
1
Langue
russe
1 résultats
1
Année de publication
De:
À: