Formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning

Authors
Publication date
1 January 2005
Publisher
College Publications

Abstract

NO ABSTRAC

    Similar works

    Full text

    thumbnail-image

    Available Versions

    NARCIS

    redirect
    Last time updated on 18/06/2018