Number of the records: 1  

Undecidable theories

  1.   Borrow
    Title statementUndecidable theories / by Alfred Tarski in collaboration with Andrzej Mostowski and Raphael M. Robinson
    Personal name Tarski, Alfred, 1902-1983 (author)
    Issue dataAmsterdam : North-Holland Publishing Company, 1953
    Phys.des.xi, 98 s.
    Edition Studies in logic and the foundations of mathematics
    NoteRejstř.
    Internal Bibliographies/Indexes NoteBibliogr.
    Subj. Headings aritmetika arithmetic * logika logic * matematická logika mathematical logic * rozhodování decision making
    UDC 164 , 164.053 , 511.1
    CountryNizozemsko
    Languageangličtina
    Document kindBooks
    book

    book

      Borrow
    Call numberBarcodeLocationSublocationInfo
    SF2811 (KUP)3139083597ZbrojniceÚstřední knihovna UP - skladPrezenčne do studovny

Number of the records: 1  

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

Accept allSettingsReject all