Funkcje rekurencyjne i elementy metamatematyki : problemy zgodności, rozstrzygalności, twierdzenie Gödla / Roman Murawski ; Uniwersytet im. Adama Mickiewicza w Poznaniu.
Rodzaj materiału:
TekstJęzyk: pl Szczegóły wydania: Poznań : Wydaw. Naukowe UAM, 2000.Wydanie: Wyd.3 popr.Opis: 186, [1] s. : rys. ; 24 cm.ISBN: - 8323210306
| Okładka | Typ dokumentu | Obecna biblioteka | Biblioteka macierzysta | Kolekcja | Lokalizacja | Sygnatura | Materiały określone | Nr tomu/części | URL | Numer kopii | Status | Uwagi | Termin zwrotu | Kod kreskowy | Zamówienia | Kolejka rezerwacji egzemplarzy | Kursy | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Książka
|
Biblioteka Politechniki Koszalińskiej | Czytelnia BG | 57975 | 519.7/.8 Cybernetyka matematyczna. Badania operacyjne | Tylko na miejscu | 01544206 | ||||||||||||
|
Książka
|
Biblioteka Politechniki Koszalińskiej | Wypożyczalnia BG | 57976 | Dostępny | 01544190 | |||||||||||||
|
Książka
|
Biblioteka Politechniki Koszalińskiej | Wypożyczalnia BG | 57977 | Dostępny | 01544183 |
Liczba zamówień: 0
Bibliogr. s.175-179. - Indeks.