Funkcje rekurencyjne i elementy metamatematyki:
problemy zupełności, rozstrzygalności, twierdzenia Gödla
| Autor: | Roman Murawski |
|---|---|
| Wydawcy: | Wydaw. Naukowe UAM (1990-2000) Uniwersytet im. Adama Mickiewicza w Poznaniu - Wydawnictwo Naukowe Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza |
| Wydane w seriach: | Matematyka Matematyka - Uniwersytet im. Adama Mickiewicza w Poznaniu, |
| ISBN: | 83-232-0355-5, 83-232-1030-6 |
| Autotagi: | druk książki |
|
|
|
Wypożycz w bibliotece
Kup
Recenzje
Dyskusje
