Bookbot

Funkcje rekurencyjne i elementy metamatematyki

Maggiori informazioni sul libro

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.

Acquisto del libro

Funkcje rekurencyjne i elementy metamatematyki, Roman Murawski

Lingua
Pubblicato
2010
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento