A simplification of the completeness proofs for Guaspari and Solovay's R{\rm R}.

Authors
    Publication date
    Publisher
    'Notre Dame Journal of Formal Logic'
    Doi

      Abstract

      Abstract is not available.

        Similar works

        Full text

        thumbnail-image

        Available Versions

        Crossref

        redirect
        Last time updated on 22/04/2021