13629 results in The Journal of Symbolic Logic
R. C. Lyndon. Existential Horn sentences. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 994–998.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 253
- Print publication:
- June 1965
-
- Article
- Export citation
U. L. Vasil′év. Minimal′nyé kontaktnyé shémy dlá bulévyh funkcij čéyréh péréménnyh (Minimal switching circuits for Boolean functions of four variables). Doklady Akaédmii Nauk SSSR, vol. 127 (1959), pp. 242–245.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
- Print publication:
- June 1965
-
- Article
- Export citation
Analytic natural deduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-139
- Print publication:
- June 1965
-
- Article
- Export citation
Hao Wang. Some formal details on predicative set theories. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 585–623.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- June 1965
-
- Article
- Export citation
Joyce Friedman. A decision procedure for computations of finite automata. Journal of the Association for Computing Machinery, vol. 9 (1962), pp. 315–323.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
- Print publication:
- June 1965
-
- Article
- Export citation
A. D. Tajmanov. O klassé modéléj, zamknutom otnositél'no prámogo proizvédéniá (On a class of models, closed with respect to direct product). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 1173–1175. - A. D. Tajmanov. O klassé modéléj, zamknutyh otnositél'no prámogo proizvédéniá (On a class of models, closed with respect to direct product). Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 24 (1960), pp. 493–510.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
- Print publication:
- June 1965
-
- Article
- Export citation
A. Lévy. Axioms of multiple choice. Fundamenta mathematicae, vol. 50 no. 5 (1962), pp. 475–483.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
- Print publication:
- June 1965
-
- Article
- Export citation
Rulon Wells. A measure of subjective information. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 237–244. - J. D. Sable, R. Wells. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 267–268.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
- Print publication:
- June 1965
-
- Article
- Export citation
Paul J. Cohen. A minimal model for set theory. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 537–540.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
- Print publication:
- June 1965
-
- Article
- Export citation
Notice of a symposium
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
- Print publication:
- June 1965
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 260
- Print publication:
- June 1965
-
- Article
- Export citation
Hao Wang. Ordinal numbers and predicative set theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 216–239. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 624–651.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- June 1965
-
- Article
- Export citation
T. J. Smiley. Entailment and deducibility. Proceedings of the Aristotelian Society, n.s. vol. 59 (1959), pp. 233–254.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-241
- Print publication:
- June 1965
-
- Article
- Export citation
Leo Apostel. Game theory and the interpretation of deontic logic. Logique et analyse, n.s. vol. 3 (1960), pp. 70–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
- Print publication:
- June 1965
-
- Article
- Export citation
Bolesław Sobociński. On the single axioms of protothetic. Notre Dame journal of formal logic, vol. 1 (1960), pp. 52–73, and vol. 2 (1961), pp. 111–126, 129–148.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
- Print publication:
- June 1965
-
- Article
- Export citation
JSL volume 30 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1965
-
- Article
-
- You have access
- Export citation
Abstracts
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-270
- Print publication:
- June 1965
-
- Article
- Export citation
Alfred Tarski. Introduction à la logique. French translation of XII 61 by Jacques A. Tremblay. Collection de logique mathématique, série A no. 16. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1960, XV + 224 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-237
- Print publication:
- June 1965
-
- Article
- Export citation
Layman E. Allen. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp. - Layman E. Allen. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn., 1963, 78 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
- Print publication:
- March 1965
-
- Article
- Export citation
G. Kreisel and H. Wang. Applications of formalized consistency proofs II. Fundamenta mathematicae, vol. 45 no. 3 (1958), pp. 334–335.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
- Print publication:
- March 1965
-
- Article
- Export citation