Knihobot

Roman Murawski Pořadí knih

    15. červenec 1949
    Funkcje rekurencyjne i elementy metamatematyki
    Wstęp do teorii mnogości
    Logos and máthēma
    Lógos and Máthma 2
    The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
    Recursive Functions and Metamathematics