Some Results in Aczel‐Feferman Logic and Set Theory (Q3960841): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q591019
Property / author
 
Property / author: Martin W. Bunder / rank
Normal rank
 

Revision as of 02:55, 20 February 2024

scientific article
Language Label Description Also known as
English
Some Results in Aczel‐Feferman Logic and Set Theory
scientific article

    Statements

    Some Results in Aczel‐Feferman Logic and Set Theory (English)
    0 references
    1982
    0 references
    0 references
    abstraction axiom
    0 references
    four valued truth tables
    0 references