- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by William Wernick
21 found
Order:
- Complete sets of logical functions.William Wernick - 1942 - [New York,: New york.
- F. M. Sioson. Equational bases of Boolean algebras. The journal of symbolic logic, vol. 29 no. 3 , pp. 115–124.William Wernick - 1966 - Journal of Symbolic Logic 31 (2):273.
- Ivo Thomas. Two arithmetical techniques with numbered classes. The journal of symbolic logic, vol. 27 no. 4 , pp. 437–438.William Wernick - 1965 - Journal of Symbolic Logic 30 (3):376.
- Martin Norman M.. The Sheffer functions of 3-valued logic.William Wernick - 1956 - Journal of Symbolic Logic 21 (2):199-199.
- Ralph M. Toms. Systems of Boolean equations. The American mathematical monthly, vol. 73 , pp. 29–35.William Wernick - 1967 - Journal of Symbolic Logic 32 (1):132-133.
- Six New sets of Independent Axioms for Distributive Lattices with O and I.William Wernick & Boleslaw Sobocinski - 1965 - Journal of Symbolic Logic 30 (3):377.
- A Double-Iteration Property of Boolean Functions.William Wernick - 1960 - Journal of Symbolic Logic 25 (3):299-300.
- Bolesław Sobociński. Six new sets of independent axioms for distributive lattices with O and I. Notre Dame journal of formal logic. vol. 3 , pp. 187–192. [REVIEW]William Wernick - 1965 - Journal of Symbolic Logic 30 (3):377-378.
- Kimio Ibuki, Kenzi Naemura, and Akihiro Nozaki. General theory of complete sets of logical functions. Electronics and communications in Japan, vol. 46 no. 7 , pp. 55–65. [REVIEW]William Wernick - 1972 - Journal of Symbolic Logic 37 (2):416-417.
- Kudielka V. and Oliva P.. Complete sets of functions of two and three binary variables. IEEE transactions on electronic computers, vol. EC-15 , pp. 930–931. [REVIEW]William Wernick - 1972 - Journal of Symbolic Logic 37 (2):417-417.
- Lyngholm Carl and Yourgrau Wolfgang. A double-iteration property of Boolean functions. Notre Dame journal of formal logic, vol. 1 , pp. 111–114. [REVIEW]William Wernick - 1960 - Journal of Symbolic Logic 25 (3):299-300.
- Možarov R. V.. Ob odnom priznaké polnoty sistémy funkcij algébry logiki . Avtomatika i téléméhanika, vol. 26, , pp. 1644–1645.Mozharov R. V.. One method for testing the completeness of systems of logical functions. English translation of the preceding. Automation and remote control, vol. 26 , pp. 1592–1593. [REVIEW]William Wernick - 1973 - Journal of Symbolic Logic 38 (2):343-343.
- Parker W. L. and Bernstein B. A.. On uniquely solvable Boolean equations. University of California publications in mathematics, n.s. vol. 3 no. 1 , pp. 1–29. [REVIEW]William Wernick - 1957 - Journal of Symbolic Logic 22 (1):96-97.
- Review: Carl Lyngholm, Wolfgang Yourgrau, A Double-Iteration Property of Boolean Functions. [REVIEW]William Wernick - 1960 - Journal of Symbolic Logic 25 (3):299-300.
- Review: F. M. Sioson, Equational Bases of Boolean Algebras. [REVIEW]William Wernick - 1966 - Journal of Symbolic Logic 31 (2):273-273.Export citation
Bookmark - Review: Kimio Ibuki, Kenzi Naemura, Akihiro Nozaki, General Theory of Complete Sets of Logical Functions. [REVIEW]William Wernick - 1972 - Journal of Symbolic Logic 37 (2):416-417.
- Review: Norman M. Martin, The Sheffer Functions of 3-Valued Logic. [REVIEW]William Wernick - 1956 - Journal of Symbolic Logic 21 (2):199-199.
- Review: Ralph M. Toms, Systems of Boolean Equations. [REVIEW]William Wernick - 1967 - Journal of Symbolic Logic 32 (1):132-133.Export citation Bookmark
- Review: R. V. Mozharov, One Method for Testing the Completeness of Systems of Logical Functions. [REVIEW]William Wernick - 1973 - Journal of Symbolic Logic 38 (2):343-343.
- Review: V. Kudielka, P. Oliva, Complete Sets of Functions of Two and Three Binary Variables. [REVIEW]William Wernick - 1972 - Journal of Symbolic Logic 37 (2):417-417.
- Review: W. L. Parker, B. A. Bernstein, On Uniquely Solvable Boolean Equations. [REVIEW]William Wernick - 1957 - Journal of Symbolic Logic 22 (1):96-97.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo