TY - BOOK AU - MURAWSKI,Roman ED - Uniwersytet im. Adama Mickiewicza (Poznań) TI - Funkcje rekurencyjne i elementy metamatematyki: problemy zgodności, rozstrzygalności, twierdzenie Gödla SN - 8323210306 PY - 2000/// CY - Poznań PB - Wydaw. Naukowe UAM KW - Metamatematyka KW - zagadnienia KW - Funkcje rekurencyjne KW - Podręczniki akademickie N1 - Bibliogr. s.175-179. - Indeks UR - http://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=39121 ER -