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.  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   2 citations  
  7.  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   2 citations  
  8.  41
    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.
  9. 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  
  10. 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.
  11.  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  
  12.  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  
  13.  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  
  14.  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.
  15.  21
    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  
  16.  18
    Berkeley Edmund C.. Conditions affecting the application of symbolic logic. [REVIEW]H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):85-85.
  17.  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.
  18.  18
    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  
  19.  18
    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  
  20.  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)  
     
    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)  
     
    Export citation  
     
    Bookmark  
  22.  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)  
     
    Export citation  
     
    Bookmark  
  23.  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  
  24.  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.
  25.  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.
  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.  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.
  31.  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.
  32.  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  
  33.  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.
  34.  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  
  35.  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  
  36.  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.
  37.  12
    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.  12
    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  
  39.  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  
  40.  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  
  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.  8
    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.
  45.  7
    Rosser Barkley. New sets of postulates for combinatory logics.H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.
  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