Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla
Autor: Murawski, Roman
| Odpowiedzialność: | Roman Murawski. | ||||||
| Hasła: | Logika matematyczna Metamatematyka | ||||||
| Adres wydawniczy: | Poznań : Wydawnictwo Naukowe UAM, 2000. | ||||||
| Wydanie: | Wydanie 3 poprawione. | ||||||
| Opis fizyczny: | 186, [1] stron ; 24 cm. | Uwagi: | Bibliogr. Indeksy. | Skocz do: | Inne pozycje tego autora w zbiorach biblioteki | Dodaj recenzje, komentarz | |
Sprawdź dostępność, zarezerwuj (zamów):
(kliknij w nazwę placówki - więcej informacji)
Notka biograficzna:
Murawski, Roman
Roman Murawski – polski matematyk, logik, filozof, teolog. W latach 1967-1972 studiował matematykę na Uniwersytecie im. Adama Mickiewicza w Poznaniu. W roku 1979 obronił rozprawę doktorską na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego. W 1992 Wydział Matematyki i Fizyki UAM nadał mu stopień naukowy doktora habilitowanego nauk matematycznych. Studiował teologię na Papieskim Wydziale Teologicznym w Poznaniu w latach 1975-1979 i uzyskał tytuł magistra teologii w zakresie teologii dogmatycznej. Następnie odbył w latach 1982-1985 studia podyplomowe i uzyskał [>>]
Inne pozycje tego autora w zbiorach biblioteki:
