TR-2011005: First-Order Logic of Proofs

Authors
Publication date
1 January 2011
Publisher
CUNY Academic Works

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    City University of New York

    redirect
    oaioai:academicworks.cuny.edu:gc_...
    Last time updated on 09/07/2019