A Formalisation of the 2-Valued Propositional Calculus with Self-dual Primitives.
A. Rose (1954)
Mathematische Annalen
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
A. Rose (1954)
Mathematische Annalen
Similarity:
A. Rose (1952/53)
Mathematische Annalen
Similarity:
A. Rose (1962)
Mathematische Annalen
Similarity:
R. Péter (1935)
Mathematische Annalen
Similarity:
H. Wang (1963)
Mathematische Annalen
Similarity:
R. Harrop (1956/57)
Mathematische Annalen
Similarity:
Cayley (1889)
Mathematische Annalen
Similarity:
A. Rose (1953)
Mathematische Annalen
Similarity:
E. ENGELER (1963)
Mathematische Annalen
Similarity:
J.R. BÜCHI (1962)
Mathematische Annalen
Similarity:
Alan Rose (1950/51)
Mathematische Annalen
Similarity:
B. SCARPELLINI (1969)
Mathematische Annalen
Similarity:
A. Rose (1951)
Mathematische Annalen
Similarity:
John Venn
Similarity:
A.F. PIXLEY (1971)
Mathematische Annalen
Similarity:
C.B. Thomas (1977)
Mathematische Annalen
Similarity:
R.C. Young (1931)
Mathematische Annalen
Similarity:
Schröder (1877)
Mathematische Annalen
Similarity: