Murawski, Roman (1949- ).

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

    Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu, 1990. 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)
    ISBN 83-232-0355-5


Metamatematyka.
Logika symboliczna i matematyczna.

   
BU.221855   
BU.221856   
BU.221857   
BU.221858   
BU.221859