Kniha momentálne nie je na sklade
Viac o knihe
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.
Nákup knihy
Funkcje rekurencyjne i elementy metamatematyki, Roman Murawski
- Jazyk
- Rok vydania
- 2010
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.
- Titul
- Funkcje rekurencyjne i elementy metamatematyki
- Jazyk
- poľsky
- Autori
- Roman Murawski
- Vydavateľ
- Wydawnictwo Naukowe UAM
- Rok vydania
- 2010
- Väzba
- mäkká
- Počet strán
- 188
- ISBN10
- 8323222053
- ISBN13
- 9788323222057
- Série
- Anotácia
- 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.