Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla
Roman Murawski
Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla
Roman Murawski
KSIĄŻKA AKTUALNIE NIEDOSTĘPNA
- odwiedź naszą aktualną ofertę -
miękka
Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
,
2010
186, [1] s. | w.: 24 cm
Logika matematyczna
Metamatematyka
Produkt wprowadzony do obrotu przed 13.12.2024