Murawski, Roman (1949- ).

    Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski. Wydanie 2 nie zmienione.

    Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, 1991. 186 stron ; 24 cm.
    (Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, ISSN 0551-6625 ; nr 11)
    (Matematyka - Uniwersytet im. Adama Mickiewicza w Poznaniu ISSN 0551-6625)
   
Egzemplarz ma wyrwaną stronę tytułową. Opis wg katalogu NUKAT.

    ISBN 83-232-0355-5


Metamatematyka.
Logika symboliczna i matematyczna.

   
M.9524