Symbolic Logic and Mechanical Theorem Proving

    Chin-Liang Chang, Richard C. Lee

    Academic Press
    1973
    331 páginas
    11h 2m
    ISBN-10: 0121703509

    Estatísticas

    Avaliações

    0 / 0
    • 5 estrelas0%
    • 4 estrelas0%
    • 3 estrelas0%
    • 2 estrelas0%
    • 1 estrelas0%