The book is currently out of stock
More about the book
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.
Book purchase
Funkcje rekurencyjne i elementy metamatematyki, Roman Murawski
- Language
- Released
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- Funkcje rekurencyjne i elementy metamatematyki
- Language
- Polish
- Authors
- Roman Murawski
- Publisher
- Wydawnictwo Naukowe UAM
- Released
- 2010
- Format
- Paperback
- Pages
- 188
- ISBN10
- 8323222053
- ISBN13
- 9788323222057
- Series
- 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.