Results for 'H. E. Vaughan'

995 found
Order:
  1.  37
    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.
  2.  17
    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   2 citations  
  3.  29
    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  
  4.  22
    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.
  5.  19
    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.
  6.  18
    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)  
     
    Export citation  
     
    Bookmark  
  7.  7
    Menger Karl. New approach to teaching intermediate mathematics. Science, vol. 127 , pp. 1320–1323.H. E. Vaughan - 1960 - Journal of Symbolic Logic 25 (3):267-268.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  1
    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  
  9.  16
    McNaughton Robert. A theorem about infinite-valued sentential logic.H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (3):227-228.
  10.  8
    Rosser Barkley. New sets of postulates for combinatory logics.H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
  11.  12
    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  
  12.  34
    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.
  13.  38
    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  
  14.  31
    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.
  15.  22
    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   2 citations  
  16.  19
    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.
  17.  20
    Berkeley Edmund C.. Conditions affecting the application of symbolic logic. [REVIEW]H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):85-85.
  18.  16
    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.
  19.  59
    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.
  20.  16
    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.
  21.  30
    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  
  22.  12
    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  
  23.  20
    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  
  24.  20
    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)  
     
    Export citation  
     
    Bookmark  
  25.  11
    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  
  26.  34
    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  
  27.  14
    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  
  28.  9
    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.
  29.  6
    Review: A. A. Grau, Ternary Boolean Algebra. [REVIEW]H. E. Vaughan - 1947 - Journal of Symbolic Logic 12 (4):136-136.
  30.  2
    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.
  31.  18
    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  
  32.  29
    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.
  33.  16
    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  
  34.  22
    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  
  35.  10
    Review: Barkley Rosser, New Sets of Postulates for Combinatory Logics. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
  36.  18
    Review: Edmund C. Berkeley, Conditions Affecting the Application of Symbolic Logic. [REVIEW]H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):85-85.
  37.  16
    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.
  38.  8
    Review: Garrett Birkhoff, Lattice Theory. [REVIEW]H. E. Vaughan - 1940 - Journal of Symbolic Logic 5 (4):155-157.
  39.  14
    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.
  40.  11
    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.
  41.  7
    Review: Karl Menger, What are x and y? [REVIEW]H. E. Vaughan - 1960 - Journal of Symbolic Logic 25 (3):266-267.
  42.  14
    Review: Karl Menger, New Approach to Teaching Intermediate Mathematics. [REVIEW]H. E. Vaughan - 1960 - Journal of Symbolic Logic 25 (3):267-268.
  43.  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.
  44.  7
    Review: Lee Byrne, Boolean Algebra in Terms of Inclusion. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (3):159-159.
  45.  15
    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.
  46.  19
    Review: Paul Lorenzen, Einfuhrung in die Logik. [REVIEW]H. E. Vaughan - 1950 - Journal of Symbolic Logic 15 (3):227-228.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Review: R. B. Kershener, L. R. Wilcox, The Anatomy of Mathematics. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (1):51-52.
  48.  18
    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  
  49.  10
    Review: Robert McNaughton, A Theorem About Infinite-Valued Sentential Logic. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (3):227-228.
  50.  3
    Review: Stephen A. Kiss, Transformations on Lattices and Structures of Logic. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (3):159-160.
1 — 50 / 995