On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475)

From MaRDI portal
Revision as of 18:34, 20 June 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On predicate provability logics and binumerations of fragments of Peano arithmetic
scientific article

    Statements

    On predicate provability logics and binumerations of fragments of Peano arithmetic (English)
    0 references
    0 references
    6 November 2013
    0 references

    Identifiers