Order:
Order
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- Review: J. C. C. McKinsey, Alfred Tarski, The Algebra of Topology. [REVIEW]H. E. Vaughan - 1944 - Journal of Symbolic Logic 9 (4):96-97.details
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- Blake Archie. A Boolean derivation of the Moore-Osgood theorem.H. E. Vaughan - 1947 - Journal of Symbolic Logic 12 (3):89-90.details
- Berkeley Edmund C.. Conditions affecting the application of symbolic logic. [REVIEW]H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):85-85.details
- 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.details
- 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.details
- 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.details
- 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.details
- Review: Paul Lorenzen, Einfuhrung in die Logik. [REVIEW]H. E. Vaughan - 1950 - Journal of Symbolic Logic 15 (3):227-228.details
- 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.details
- 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.details
- 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.details
- 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.details
- Review: William Wernick, Complete Sets of Logical Functions. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (2):99-99.details
- 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.details
- 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.details
- McNaughton Robert. A theorem about infinite-valued sentential logic.H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (3):227-228.details
- Review: Edmund C. Berkeley, Conditions Affecting the Application of Symbolic Logic. [REVIEW]H. E. Vaughan - 1943 - Journal of Symbolic Logic 8 (3):85-85.details
- 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.details
- Review: R. C. Lyndon, Identities in Two-Valued Calculi. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (1):69-70.details
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- 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.details
- Review: Karl Menger, New Approach to Teaching Intermediate Mathematics. [REVIEW]H. E. Vaughan - 1960 - Journal of Symbolic Logic 25 (3):267-268.details
- Review: Barkley Rosser, New Sets of Postulates for Combinatory Logics. [REVIEW]H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.details
- 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.details
- Rosser Barkley. New sets of postulates for combinatory logics.H. E. Vaughan - 1942 - Journal of Symbolic Logic 7 (3):122-123.details
- 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.details
- Review: Karl Menger, What are x and y? [REVIEW]H. E. Vaughan - 1960 - Journal of Symbolic Logic 25 (3):266-267.details
- Review: Robert McNaughton, A Theorem About Infinite-Valued Sentential Logic. [REVIEW]H. E. Vaughan - 1951 - Journal of Symbolic Logic 16 (3):227-228.details
- 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.details
- Review: Lee Byrne, Boolean Algebra in Terms of Inclusion. [REVIEW]H. E. Vaughan - 1948 - Journal of Symbolic Logic 13 (3):159-159.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|