Contents
Reviews
Arne Næss. Inføring i logikk og metodelære (Introduction to logic and methodology). Filosofiske problemer no. 14. Second edition, mimeographed. Studentforlaget, Oslo 1951, IV + 181 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Alan Rose. Strong completeness of fragments of the propositional calculus. The journal of symbolic logic, vol. 16 (1951), p. 204. - Alan Rose. The degree of completeness of a partial system of the 2-valued Propositional Calculus. Mathematische Zeitschrift, vol. 54 (1951), pp. 181–183.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- Article
- Export citation
W. H. Walsh. A note on truth. Mind, n.s. vol. 61 (1952), pp. 72–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 220
-
- Article
- Export citation
Arnold Schmidt. Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Mathematische Annalen, vol. 123 (1951), pp. 187–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
-
- Article
- Export citation
W. V. Quine. On natural deduction. The journal of symbolic logic, vol. 15 (1950), pp. 93–102. See erratum, ibid., p. iv.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
-
- Article
- Export citation
Alan Rose. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 (1951), pp. 152–165. - Alan Rose. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 (1951), pp. 285–287. - Alan Rose. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 (1951), pp. 47–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
-
- Article
- Export citation
Arne Næss. Nokre elementære logiske emne (Some elementary logical topics). 1. nynorske utg. Mimeographed. Universitetets Studentkontor, Oslo 1949, 91 pp. - E. J. E. Huffer. Logistiek en wetenschapsleer (Logistic and methodology of science). Tijdschrift voor philosophie, vol. 11 (1949), pp. 100–116. - R. Feys. Logica en wijsbegeerte van de wiskunde (Logic and philosophy of mathematics). Tijdschrift voor philosophie, vol. 13 (1951), pp. 303–314. - John Oulton Wisdom. Foundations of inference in natural science. Methuen & Co., London 1952, x + 240 pp. - Charles E. Bures. A critique of Hayakawa's ‘Language in thought and action.’ ETC.: A review of general semantics, vol. 9 no. 1 (1951), pp. 35–43. - S. I. Hayakawa. Reply to Professor Bures. ETC.: A review of general semantics, vol. 9 no. 1 (1951), pp. 43–50. - Anonymous. Inexhaustible. The New Yorker, 08 23, 1952, pp. 13–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
-
- Article
- Export citation
Joshua C. Gregory. Heterological and homological. Mind, n.s. vol. 61 (1952), pp. 85–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 220
-
- Article
- Export citation
Other
Related Citation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
-
- Article
- Export citation
Reviews
A. Natucci. 2 + 2 fanno 4. Periodico di matematiche, ser. 4 vol. 29 (1951), pp. 198–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
-
- Article
- Export citation
Jeanne-Pierre Zahlen. Sur une application de la logislique à un problème de calcul des probabilités. Euclides (Madrid), t. 10 (1950), pp. 160–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-224
-
- Article
- Export citation
A meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
-
- Article
- Export citation
Reviews
D. B. McCallum and J. B. Smith. Mechanized reasoning—logical computers and their design. Electronics engineering, vol. 23 (1951), pp. 126–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
-
- Article
- Export citation
Other
List of Officers and Members of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-298
-
- Article
- Export citation
Reviews
Olav Valen-Sendstad. Der Wahrheilsbegriff in der zweiwertigen Logik. Theoria, vol. 15 (1949), pp. 367–383.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-149
-
- Article
- Export citation
Front matter
JSL volume 17 issue 4 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation
JSL volume 17 issue 3 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation
Reviews
W. Mays, C. E. M. Hansel, D. P. Henry. Note on the exhibition of logical machines at the joint session, July 1950. Mind, n.s. vol. 60 (1951), pp. 262–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
-
- Article
- Export citation
Willard van Orman Quine. Mathematical logic. Revised edition. Harvard University Press, Cambridge, Mass., 1951, xii + 346 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
-
- Article
- Export citation