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
139,00 zł
Uwagi
zarysowania, otarcia okładki
miękka
Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
,
2010
186, [1] s. | w.: 24 cm
Logika matematyczna
Metamatematyka