Contents
Reviews
Norman R. Scott. Introduction to switching algebra. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 1–13. - W. J. Cadden. Binary numbers, codes, and translators. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 15–30. - J. P. Runyon. Formulation of switching problems. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 31–45. - E. J. Tanana. The map method. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 47–65. - E. J. MccluskeyJr., Minimization theory. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 67–88. - T. C. Bartee. Design using computers. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 89–102. - References for Part I. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 103–105. - E. J. MccluskeyJr., Introduction to state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 109–119. - J. P. Runyon. Derivation of completely and partially specified state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 121–144. - S. H. Unger. Simplification of state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 145–170. - Montgomery PhisterJr., Circuit synthesis from state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 171–186. - I. S. Reed. Mathematical structure of sequential machines. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 187–196. - References for Part II. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 196–200. - Index. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 201–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-252
-
- Article
- Export citation
J. Paul Roth and R. M. Karp. Minimization over Boolean graphs. IBM journal of research and development, vol. 6 (1962), pp. 227–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
-
- Article
- Export citation
Gaisi Takeuti. Remarks on the truth definition. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 207–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 110
-
- Article
- Export citation
B. A. Trahténbrot. Ob opératorah réalizuémyh v logičéskih sétah (On operators realizable in logical nets). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 1005–1007.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
-
- Article
- Export citation
E. W. Beth. Completeness results for formal systems. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 281–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 110
-
- Article
- Export citation
Ronald Harrop. Concerning formulas of the types A → B v C, A → (Ex)B(x) in intuitionistic formal systems. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 27–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
-
- Article
- Export citation
Front matter
JSL volume 27 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Reviews
Ivo Thomas. Independence of Tarski's law in Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 (1960), pp. 74–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
-
- Article
- Export citation
Ivo Thomas. Functional completeness of Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 (1960), pp. 107–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
-
- Article
- Export citation
J. Barkley Rosser. Axiomatization of infinite valued logics. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 137–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
-
- Article
- Export citation
Maria de la Cinta Badillo. Fundamentos en relación con lógica simbólica polivalente. Gaceta matemática, ser. 1 vol. 7 (1955), pp. 7–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Maria de la Cinta Badillo Barallat. Aplicación de la lógica polivalente a la teoria de números. Gaceta matemática, ser. 1 vol. 10 (1958), pp. 76–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
M. C. Badillo Barallat. Automatización de los silogismos en una lógica polivalente. Revista de cálculo automatico y cibernética, vol. 5 (1956), pp. 1–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
M. C. Badillo. Lógica trivalente en la automatización de los circuitos. Revista de cálculo automatico y cibernética, vol. 6 (1957), pp. 1–7.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation
Ivo Thomas and Don Orth. Axioms for the “Gergonne”-relations. The journal of symbolic logic, t. 24, n° 4 (pour 1959, pub. 1961), p. 305.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
Ivo Thomas. Independence of Faris-rejection-axioms. Notre Dame journal of formal logic, vol. 1 (1960), pp. 48–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
Timothy Smiley. On Łukasiewicz's Ł-modal system. Notre Dame journal of formal logic, vol. 2 (1961), pp. 149–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
Nicholas Rescher. Conditional permission in deontic logic. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 1–6. - Alan Ross Anderson. Reply to Mr. Rescher. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 6–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- Article
- Export citation
Sibajiban. Can doubt be doubted?Mind, n.s. vol. 69 (1960), pp. 84–87.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
-
- Article
- Export citation
A. N. Prior. The syntax of time-distinctions. Franciscan studies, vol. 18 no. 2 (1958), pp. 105–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
-
- Article
- Export citation