Number of the records: 1  

Formal'nyj vyvod i logičeskije isčislenija

  1. book

    book


     Smirnov, Vladimir Aleksandrovič, 1931-1996 - Author
    Moskva : Nauka, 1972 - 270 s.
     symbolická logika
     studie
    Call numberC 86.516
    Umístění
    BranchPlaceInfoSignature
    Lidická ( sklad )k vypůjčeníC 86.516   

    InfoRETRO-CATALOGUING - SHORT RECORD
    Title statementFormal'nyj vyvod i logičeskije isčislenija / V.A. Smirnov
    Main entry-name Smirnov, Vladimir Aleksandrovič, 1931-1996 (Author)
    Issue dataMoskva : Nauka, 1972
    Phys.des.270 s.
    NoteAkad. nauk SSSR. Inst. filosofii
    Subj. Headings symbolická logika
    Form, Genre studie
    Conspect16 - Logika
    UDC 164.01 , (048.8)
    CountryRusko
    Languageruština
    Document kindBOOKS

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