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 I.
Miejsce:
Poznań :
Wydany przez :
Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu,
w roku:
1990.
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:
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
BUW BU.221859 Dostępny BU.221859 Dostępny 10/06/2019 Zamów
BUW BU.221858 Dostępny BU.221858 Dostępny 10/06/2019 Zamów
BUW BU.221857 Dostępny BU.221857 Dostępny 10/06/2019 Zamów
BUW BU.221856 Dostępny BU.221856 Dostępny 10/06/2019 Zamów
BUW BU.221855 Dostępny BU.221855 Dostępny 10/06/2019 Zamów