Advertisement

Mathematische Annalen

, Volume 126, Issue 1, pp 144–148 | Cite as

Some self-dual primitive functions for Propositional Calculi

  • Alan Rose
Article

Keywords

Propositional Calculus Primitive Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Church, Alonzo: Portugal. Math.7, 87 (1948).Google Scholar
  2. [2]
    Lewis, C. I. a.C. H. Langford: Symbolic Logic, New York and London (1932).Google Scholar
  3. [3]
    Rose, Alan: Math. Ann.123, 76 (1951).Google Scholar
  4. [4]
    Rose, Alan: Math. Ann.125, 284 (1952).Google Scholar

Copyright information

© Springer-Verlag 1953

Authors and Affiliations

  • Alan Rose
    • 1
  1. 1.Nottingham

Personalised recommendations