5 research outputs found

    Method of Establishing Deducibility in Classical Predicate Calculus

    No full text
    corecore