Il libro è attualmente esaurito
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
Ancora nessuna valutazione.
- Titolo
- Funkcje rekurencyjne i elementy metamatematyki
- Lingua
- Polacco
- Autori
- Roman Murawski
- Editore
- Wydawnictwo Naukowe UAM
- Pubblicato
- 2010
- Formato
- In brossura
- Pagine
- 188
- ISBN10
- 8323222053
- ISBN13
- 9788323222057
- Serie
- Descrizione
- 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.