Contents
Other
List of officers and members of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-318
-
- Article
- Export citation
Reviews
Miloš Neubauer. Sur quelques simplifications de la théorie axiomatique d'ensembles de von Neumann (O nékterých zjednodušeních von Neumannovy axiomatické theorie množin). French with brief Czechic résumé. Časopis pro pěstování matematiky a fysiky, vol. 74 (1950), pp. 142–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
-
- Article
- Export citation
Edmund C. Berkeley. Circuit algebra—Introduction. Photo-offset from typewritten manuscript. Edmund C. Berkeley and Associates, New York1952, i + 34 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
-
- Article
- Export citation
Front matter
JSL volume 20 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
John Myhill. A finitary metalanguage for extended basic logic. The journal of symbolic logic, vol. 17 (1952), pp. 164–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
-
- Article
- Export citation
D. E. Muller. Application of Boolean algebra to switching circuit design and to error detection. Transactions of the Institute of Radio Engineers Professional Group on Electronic Computers, vol. EC-3 (1954), pp. 6–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
-
- Article
- Export citation
Frederic B. Fitch. A simplification of basic logic. The journal of symbolic logic, vol. 18 (1953), pp. 317–325. - Frederic B. Fitch. A definition of negation in extended basic logic. The journal of symbolic logic, vol. 19 (1954), pp. 29–36. See Errata, ibid., p. vi.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
-
- Article
- Export citation
E. C. Nelson. An algebraic theory for use in computer design. Transactions of the Institute of Radio Engineers Professional Group on Electronic Computers, vol. EC-3 (1954), pp. 12–21.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 195
-
- Article
- Export citation
Theodore Hailperin. Remarks on identity and description in first-order axiom systems. The journal of symbolic logic, vol. 19 (1954), pp. 14–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-83
-
- Article
- Export citation
Robert S. Ledley. Mathematical foundations and computational methods for a digital logic machine. Journal of the Operations Research Society of America, vol. 2 (1954), pp. 249–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-197
-
- Article
- Export citation
A. N. Prior. The logic of negative terms in Boethius. Franciscan studies, Bd. 13 (1953), S. 1–6. - A. N. Prior. On some consequential in Walter Burleigh. The new scholasticism, Bd. 27 (1953), S. 433–446.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
-
- Article
- Export citation
M. Karnaugh. The map method for synthesis of combinational logic circuits. Transactions of the American Institute of Electrical Engineers, vol. 72 part I (1953), pp. 593–598.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
H. S. Caldwell. The recognition and identification of symmetric switching functions. Transactions of the American Institute of Electrical Engineers, vol. 73 part I (1954), pp. 142–146. - C. Y. Lee. Switching functions on an n-dimensional cube. Transactions of the American Institute of Electrical Engineers, vol. 73 part I (1954), pp. 289–291.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
José Ferrater Mora. De Boecio a Alberto de Sajonia: Un fragmento de historia de la lógica. Imago mundi (Buenos Aires), Bd. 1 Heft 3 (1954), S. 3–22.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 83
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 198-199
-
- Article
- Export citation
Reviews
Henryk Greniewski. Próba “odmlodzenia” kwadratu logicznego (Versuch einer “Verjiingung” des logischen Quadrates). Studio logica (Warschau), Bd. 1 (1953), S. 276–286. - Henryk Greniewski. Popytka “omoložéniá” logičéskogo kvadrata (The square of opposition — a new approach). Russische Übersetzung des vorangehenden und kurzer englischer Auszug. Studio logica (Warschau), Bd. 1 (1953), S. 287–297.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
-
- Article
- Export citation
Meeting Report
Eighteenth meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-205
-
- Article
- Export citation
Reviews
Yuting Shen. Paradox of the class of all grounded classes. The journal of symbolic logic, vol. 18 (1953), p. 114. - Robert L. Stanley. Note on a paradox. The journal of symbolic logic, vol. 18 (1953), p. 233.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
-
- Article
- Export citation
Other
Institutional contributing subscribers to the Journal
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 206
-
- Article
- Export citation
Reviews
A. H. Basson and D. J. O'Connor. Introduction to symbolic logic. University Tutorial Press Ltd., London1953, viii + 169 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-86
-
- Article
- Export citation