Funkcje rekurencyjne i elementy metamatematyki
Problemy zupełności, rozstrzygalności, twierdzenie Gődla
Dodaj do schowkaSpis treści
O książce
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.
Dane szczegółowe
Wydawca:
Wydawnictwo Naukowe UAM
Data wydania:
2010
Format:
17.0x24.0cm
Ilość stron:
188
Języki:
polski
Oprawa:
Miękka
Wydanie:
4
Spis treści
Inne tego autora
Recenzje czytelników "Funkcje rekurencyjne i elementy metamatematyki"