Number of the records: 1  

Computer Science Logic '94

    1.
    SYSNO ASEP0174175
    Document TypeM - Monograph Chapter
    R&D Document TypeMonograph Chapter
    TitleHow to Lie without being (easily) convicted and the lengths of proofs in propositional calculas
    Author(s) Pudlák, Pavel (MU-W) RID, SAI
    Buss, S.R. (US)
    Issue dataBerlin: Springer, 1995
    ISBN3-540-60017-5
    Source TitleComputer Science Logic '94
    Pagess. 151-162
    SeriesLecture Notes in Computer Science
    Series number933
    Languageeng - English
    CountryDE - Germany
    R&D ProjectsIAA119107 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
    WorkplaceMathematical Institute
    ContactJarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
    Year of Publishing1996

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