Results for 'H. E. Vaughan'

1000+ found
Order:
  1.  28
    E. T. Bell. Polynomials on a Finite Discrete Range. Duke Mathematical Journal, Vol. 10 , Pp. 33–47. [REVIEW]H. E. Vaughan - 1944 - Journal of Symbolic Logic 9 (1):31-31.
  2.  23
    E. T. Bell. Polynomials on a Finite Discrete Range. Duke Mathematical Journal, Vol. 10 , Pp. 33–47.H. E. Vaughan - 1944 - Journal of Symbolic Logic 9 (1):31-31.
  3.  27
    Newman M. H. A.. On Theories with a Combinatorial Definition of “Equivalence.” Annals of Mathematics, Ser. 2 Vol. 43 , Pp. 223–243. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):123-123.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  22
    Review: M. H. A. Newman, On Theories with a Combinatorial Definition of "Equivalence.". [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):123-123.
  5.  12
    Kiss Stephen A.. Transformations on Lattices and Structures of Logic. On Sale by the Author, 11 E. 92nd St., New York 28, N. Y., 1947, X + 322 Pp. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (3):159-160.
  6.  37
    Birkhoff Garrett. Lattice Theory. American Mathematical Society Colloquium Publications, Vol. 25. American Mathematical Society, New York 1940, V + 155 Pp. [REVIEW]H. E. Vaughan - 1940 - Journal of Symbolic Logic 5 (4):155-157.
  7. Menger Karl. What Are X and Y?. The Mathematical Gazette, Vol. 40 , Pp. 246–255.H. E. Vaughan - 1960 - Journal of Symbolic Logic 25 (3):266-267.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Review: Alonzo Church, Conditioned Disjunction as a Primitive Connective for the Propositional Calculus. [REVIEW]H. E. Vaughan - 1949 - Journal of Symbolic Logic 14 (3):197-197.
  9.  26
    Post Emil L.. The Two-Valued Iterative Systems of Mathematical Logic. Annals of Mathematics Studies, No. 5. Lithoprinted. Princeton University Press, Princeton 1941, 122 Pp. [REVIEW]H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  26
    Tarski Alfred. Cardinal Algebras. Oxford University Press, New York 1949, Xii + 326 Pp.Jońsson Bjarni and Tarski Alfred. Cardinal Products of Isomorphism Types. Appendix of the Foregoing, Pp. 253–312. [REVIEW]H. E. Vaughan - 1949 - Journal of Symbolic Logic 14 (3):188-189.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  25
    Kershner R. B. And Wilcox L. R.. The Anatomy of Mathematics. The Ronald Press Company, New York 1950, Xi + 416 Pp. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (1):51-52.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  25
    Robinson Abraham. On the Application of Symbolic Logic to Algebra. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, Pp. 686–694.Tarski Alfred. Some Notions and Methods on the Borderline of Algebra and Metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, Pp. 705–720. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (2):182-182.
  13.  20
    Blake Archie. A Boolean Derivation of the Moore-Osgood Theorem.H. E. Vaughan - 1947 - Journal of Symbolic Logic 12 (3):89-90.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    Berkeley Edmund C.. Conditions Affecting the Application of Symbolic Logic. [REVIEW]H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):85-85.
  15.  18
    Byrne Lee. Boolean Algebra in Terms of Inclusion. American Journal of Mathematics, Vol. 70 , Pp. 139–143.H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (3):159-159.
  16.  17
    Moisil GR. C.. Sur la Représentation des Groupes Abéliens Infinis. I, IV. Académie Roumaine, Bulletin de la Section Scientifique, Vol. 23 , Pp. 358–361, and Vol. 24 , Pp. 79–84. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (3):161-161.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  17
    Wernick William. Complete Sets of Logical Functions. Transactions of the American Mathematical Society, Vol. 51 , Pp. 117–132. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (2):99-99.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  16
    Wagner K.. Zum Repräsentanlenproblem der Logik für Aussagenfunktionen mit beliebig endlich oder unendlich vielen Wahrheitswerten. Mathematische Zeitschrift, vol. 53 no. 4 , pp. 364–374. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (3):227-227.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  15
    Lorenzen Paul. Einführung in die Logik. Archiv der Mathematik , vol. 2 , pp. 60–65.H. E. Vaughan - 1950 - Journal of Symbolic Logic 15 (3):227-228.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  15
    Lyndon R. C.. Identities in Two-Valued Calculi. Transactions of the American Mathematical Society, Vol. 71 , Pp. 457–465. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (1):69-70.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  18
    Review: Paul Lorenzen, Einfuhrung in die Logik. [REVIEW]H. E. Vaughan - 1950 - Journal of Symbolic Logic 15 (3):227-228.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  19
    Review: J. C. C. McKinsey, Alfred Tarski, The Algebra of Topology. [REVIEW]H. E. Vaughan - 1944 - Journal of Symbolic Logic 9 (4):96-97.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  13
    Church Alonzo. Conditioned Disjunction as a Primitive Connective for the Propositional Calculus. Portugaliae Mathematica, Vol. 7 , Pp. 87–90. [REVIEW]H. E. Vaughan - 1949 - Journal of Symbolic Logic 14 (3):197-197.
  24.  13
    Grau A. A.. Ternary Boolean Algebra. Bulletin of the American Mathematical Society, Vol. 53 , Pp. 567–572.H. E. Vaughan - 1947 - Journal of Symbolic Logic 12 (4):136-136.
  25.  13
    McKinsey J. C. C. And Tarski Alfred. The Algebra of Topology. Annals of Mathematics, Ser. 2 Vol. 45 , Pp. 141–191.H. E. Vaughan - 1944 - Journal of Symbolic Logic 9 (4):96-97.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  17
    Review: William Wernick, Complete Sets of Logical Functions. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (2):99-99.
  27.  14
    Review: Emil L. Post, The Two-Valued Iterative Systems of Mathematical Logic. [REVIEW]H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
  28.  12
    Birkhoff Garrett and Kiss S. A.. A Ternary Operation in Distributive Lattices. Bulletin of the American Mathematical Society, Vol. 53 , Pp. 749–752. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (1):50-51.
  29.  12
    McNaughton Robert. A Theorem About Infinite-Valued Sentential Logic.H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (3):227-228.
  30.  13
    Review: Ladislav Rieger, A Note on Topological Representations of Distributive Lattices; Kiyoski Iseki, Une Condition Pour Qu'un Lattice Soit Distributif. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (1):62-62.
  31.  13
    Review: R. C. Lyndon, Identities in Two-Valued Calculi. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (1):69-70.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  13
    Review: S. Pankajam, On the Formal Structure of the Propositional Calculus I. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (1):39-39.
  33.  15
    Review: Edmund C. Berkeley, Conditions Affecting the Application of Symbolic Logic. [REVIEW]H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):85-85.
  34.  11
    Pankajam S.. On the Formal Structure of the Propositional Calculus I. The Journal of the Indian Mathematical Society, N. S. Vol. 5 , Pp. 49–61. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (1):39-39.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  11
    Rieger Ladislav. A Note on Topological Representations of Distributive Lattices . Časopis Pro Péstování Matematiky a Fysiky, Vol. 74 , Pp. 55–61.Iseki Kiyoski. Une Condition Pour Qu'un Lattice Soit Distributif. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 230 , Pp. 1726–1727. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (1):62-62.
  36.  15
    Review: Alfred Tarski, Cardinal Algebras; Bjarni Jonsson, Alfred Tarski, Cardinal Products of Isomorphism Types. [REVIEW]H. E. Vaughan - 1949 - Journal of Symbolic Logic 14 (3):188-189.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  11
    Review: A. M. Turing, The Use of Dots as Brackets in Church's System. [REVIEW]H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  9
    Kleene S. C.. On the Forms of Predicates in the Theory of Constructive Ordinals. American Journal of Mathematics, Vol. 66 , Pp. 41–58. [REVIEW]H. E. Vaughan - 1946 - Journal of Symbolic Logic 11 (4):127-127.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  9
    Michiura Tadashi. On Characteristic Properties of Boolean Algebras. Journal of the Osaka Institute of Science and Technology, Part I, Mathematic s and Physics, Vol. 1 , Pp. 129–133. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (2):152-152.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  10
    Review: Abraham Robinson, On the Application of Symbolic Logic to Algebra; Alfred Tarski, Some Notions and Methods on the Borderline of Algebra and Metamathematics. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (2):182-182.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  10
    Review: Garrett Birkhoff, S. A. Kiss, A Ternary Operation in Distributive Lattices. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (1):50-51.
  42.  10
    Review: Karl Menger, New Approach to Teaching Intermediate Mathematics. [REVIEW]H. E. Vaughan - 1960 - Journal of Symbolic Logic 25 (3):267-268.
  43.  9
    Review: Barkley Rosser, New Sets of Postulates for Combinatory Logics. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
  44.  7
    Rosser Barkley. New Sets of Postulates for Combinatory Logics.H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
  45.  7
    Review: Gr. C. Moisil, Sur la Representation des Groupes Abeliens Infinis. I, IV. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (3):161-161.
  46.  6
    Pankajam S.. On the Formal Structure of the Proposilional Calculus II. The Journal of the Indian Mathematical Society, N.S. Vol. 6 , Pp. 51–62.Pankajam S.. Postscript. The Journal of the Indian Mathematical Society, N.S. Vol. 6 , P. 102. [REVIEW]H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):84-84.
  47.  6
    Review: Karl Menger, What Are X and Y? [REVIEW]H. E. Vaughan - 1960 - Journal of Symbolic Logic 25 (3):266-267.
  48.  6
    Review: Robert McNaughton, A Theorem About Infinite-Valued Sentential Logic. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (3):227-228.
  49.  5
    Tubing A. M.. The Use of Dots as Brackets in Church's System.H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  5
    Review: Lee Byrne, Boolean Algebra in Terms of Inclusion. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (3):159-159.
1 — 50 / 1000