- Tytuł:
- Funkcje rekurencyjne i elementy metamatematyki: problemy zupełności, rozstrzygalności, twierdzenia Gödla
- Autorzy:
- Murawski, Roman (1949- )
- Wydawca:
- Poznań: Wydaw. Naukowe UAM
- Rok wydania:
- 2000
- Temat:
- Logika matematyczna.
Metamatematyka. - UKD:
- 510
Książka