Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Autor podaje przystępny wykład zagadnień związanych z twierdzeniem Gődla o niezupełności oraz z problemem rozstrzygalności i nierozstrzygalności teorii. Podręcznik napisany niezwykle interesująco, przeznaczony dla czytelnika posiadającego podstawowe wiadomości z zakresu kursu logiki.
Achat du livre
Funkcje rekurencyjne i elementy metamatematyki, Roman Murawski
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .
- Titre
- Funkcje rekurencyjne i elementy metamatematyki
- Langue
- Polonais
- Auteurs
- Roman Murawski
- Éditeur
- Wydawnictwo Naukowe UAM
- Publié
- 2010
- Format
- souple
- Pages
- 188
- ISBN10
- 8323222053
- ISBN13
- 9788323222057
- Séries
- Mots clés
- Nonfiction, Science et Mathématiques, La nature, Mathématiques
- Description
- Autor podaje przystępny wykład zagadnień związanych z twierdzeniem Gődla o niezupełności oraz z problemem rozstrzygalności i nierozstrzygalności teorii. Podręcznik napisany niezwykle interesująco, przeznaczony dla czytelnika posiadającego podstawowe wiadomości z zakresu kursu logiki.