Number of the records: 1  

On Formally Undecidable Propositions of Principia Mathematica and Related systems

  1. TitleOn Formally Undecidable Propositions of Principia Mathematica and Related systems
    Author infoKurt Gödel; Translated by B. Meltzer; Introduction by R.B. Braithwaite
    Author Gödel Kurt
    Co-authors Meltzer B
    Braithwaite R.B
    Issue dataNew York : Dover Publications, INC. , 1992. - 72 s.
    Issue1. ed.
    ISBN0-486-66980-7
    Keywords matematika - mathematics   Gödelove vety  
    LanguageEnglish
    CountryUnited States of America
    systematics 511.3=20
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexkni - BOOKS
    Copy count1, currently available 0, at library only 1
    Call numberLocationSublocationUmiestnenieInfo
    234825Univerzita Mateja BelaDepartment of mathematicsIn-Library Use Only

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.