Entrar

    Automated Deduction in Nonclassical Logics - Efficient Matrix Proof Methods etc

    L A Wallen

    MIT Press
    1990
    260 páginas
    8h 40m
    ISBN-13: 9780262231442
    0
    0 avaliação
    Leram0Lendo0Querem0Relendo0Abandonos0Resenhas0

    Estatísticas

    Avaliações

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