Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski.

Opis

Autor:
Murawski, Roman (1949- ).
Hasło dodatkowe:
Uniwersytet im. Adama Mickiewicza (Poznań). Wydawnictwo Naukowe. Wydawca
Wydanie:
Wydanie 2 nie zmienione.
Miejsce:
Poznań :
Wydany przez :
Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu,
w roku:
1991.
Opis fizyczny:
186 stron ; 24 cm.
Seria:
(Matematyka - Uniwersytet im. Adama Mickiewicza w Poznaniu ISSN 0551-6625 )
(Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 11)
UKD:
510.6
Uwagi:
Egzemplarz ma wyrwaną stronę tytułową. Opis wg katalogu NUKAT.
Bibliografia na stronach [175]-179. Indeksy.
Streszczenie w języku angielskim.
ISBN:
83-232-0355-5

Szukaj

Dopowiedzenie klasyfikacji (UKD):

Hasła przedmiotowe:


Rodzaj dokumentu:

Dostępne pozycje

Egzemplarz
miejsce numer inwentarzowy sygnatura status data zwrotu ostatnia akcja w systemie akcje
MW M.9524 Dostępny M.9524 Dostępny Zamów