13629 results in The Journal of Symbolic Logic
E. M. Adams. Hall's analysis of “ought.”The journal of philosophy, vol. 55 (1958), pp. 73–75. - Everett W. Hall. Existential normatives. The journal of philosophy, vol. 55 (1958), pp. 75–77.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-266
- Print publication:
- September 1959
-
- Article
- Export citation
L. K. Durst. On certain subsets of finite Boolean algebras. Proceedings of the American Mathematical Society, vol. 6 (1955), pp. 695–697.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
- Print publication:
- September 1959
-
- Article
- Export citation
Y. Bar-Hillel. Decision procedures for structure in natural languages. Logique et analyse (Louvain), n.s. vol. 2 (1959), pp. 19–29. - S. Issman. Exposé de J. Bar-Hillel. Logique et analyse (Louvain), n.s. vol. 2 (1959), pp. 34–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 261
- Print publication:
- September 1959
-
- Article
- Export citation
G. Kreisel. On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 103–127. - G. Kreisel. Applications of mathematical logic to various branches of mathematics. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 37–49. - A. Robinson and G. Kreisel. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 50. - G. Kreisel. Models, translations, and interpretations. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 26–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-238
- Print publication:
- September 1959
-
- Article
- Export citation
Chandler Davis. Modal operators, equivalence relations, and projective algebras, American journal of mathematics, vol. 76 (1954), pp. 747–762.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 253
- Print publication:
- September 1959
-
- Article
- Export citation
Raymond M. Smullyan. Languages in which self reference is possible. The Journal of symbolic logic, vol. 22 no. 1 (1957), pp. 55–67.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
- Print publication:
- September 1959
-
- Article
- Export citation
Robert Edouard Moritz. On mathematics and mathematicians. (Formerly titled: Memorabilia mathematica or the philomath's quotation-book.) Dover Publications Inc., New York1958, xiv + 410 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 216
- Print publication:
- September 1959
-
- Article
- Export citation
Kazuo Matsumoto. On a lattice relating to intuitionistic logic. Journal of the Osaka Institute of Science and Technology, vol. 2 no. 1–2 (1950), pp. 97–107.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- September 1959
-
- Article
- Export citation
Ernest Nagel and James R. Newman. Gödei's proof. New York University Press, New York1958, ix + 118 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 222
- Print publication:
- September 1959
-
- Article
- Export citation
Juliusz Reichbach. Some definition of the proper prime ideal. Riveon lematematika, vol. 13 (1959), pp. 29–31.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 243
- Print publication:
- September 1959
-
- Article
- Export citation
Edith Watson Schipper and Edward Schuh. A first course in modern logic. Henry Holt and Company, Inc., New York1959, xviii + 398 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
- Print publication:
- September 1959
-
- Article
- Export citation
Marcel Boll. La logique due propositionnelle et la commutation. Automatisme (Paris), vol. 3 (1958), pp. 95–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
- Print publication:
- September 1959
-
- Article
- Export citation
Jacques Riguet. Le calcul des relations en tant qu'outil méthodologique. La méthode dans les sciences modernes, edited by François LeLionnais, Travail et méthodes. Revue technique mensuelle de la direction et de l'organisation des entreprises. Numéro hors série, Éditions Science et Industrie, Paris1958, pp. 69–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 240
- Print publication:
- September 1959
-
- Article
- Export citation
Beverly Robbins. Ontology and the hierarchy of languages. The philosophical review, vol. 67 no. 4 (1958), pp. 531–537.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
- Print publication:
- September 1959
-
- Article
- Export citation
N. I. Stážkin. O logičéskih paradoksah i ih otnošénii k dialéktičéskim protivoréčiám (On logical paradoxes and their relation to dialectical contradictions). Voprosy filosofii, no. 1 (1958), pp. 145–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
- Print publication:
- September 1959
-
- Article
- Export citation
Antoni Korcik. Przyczynek do historii klasycznej teorii opozycji zdań asertorycznych (Contribution to the history of the classic theory of opposition of assertoric propositions). Roczniki filozoficzne, vol. 4 (1955), pp. 33–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
- Print publication:
- September 1959
-
- Article
- Export citation
Karl Menger. Calculus, a modern approach. Ginn and Company, Boston etc. 1955, xviii + 354 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
- Print publication:
- September 1959
-
- Article
- Export citation
Jens Erik Fenstad. Notes on normative logic. Avhandlinger utgitt av Det Norske Videnskaps-Akademi i Oslo, II. Historisk-filosofisk klasse, 1959 no. 1, 25 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
- Print publication:
- September 1959
-
- Article
- Export citation
Nicholas Rescher. Some comments on two-valued logic. Philosophical studies (Minneapolis), vol. 6 (1955), pp. 54–58. - Niels E. Christensen. Further comments on two-valued logic. Philosophical studies (Minneapolis), vol. 8 (1957), pp., 9–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 266
- Print publication:
- September 1959
-
- Article
- Export citation
Jean Porte. Systèmes de Post, algorithmes de Markov. Cybernetica, vol. 1 no. 2 (1958), offprint pp. 1–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-240
- Print publication:
- September 1959
-
- Article
- Export citation