13629 results in The Journal of Symbolic Logic
Setsuo Saito. Circular definitions and analyticity. Inquiry (Oslo), vol. 5 (1962), pp. 158–162.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
- Print publication:
- June 1962
-
- Article
- Export citation
Walter E. Stuermann. Plotting Boolean functions. American mathematical monthly, vol. 67 (1960), pp. 170–172. - Walter E. Stuermann. The Boole table generalized. American mathematical monthly, vol. 68 (1961), pp. 53–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
- Print publication:
- June 1962
-
- Article
- Export citation
B. A. Trahténbrot. Oprédélénié konečnogo množéstva i deduktivnaá népolnota téorii množéstv (The definition of a finite set and the deductive incompleteness of set theory). Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 20 (1956), pp. 569–582.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-237
- Print publication:
- June 1962
-
- Article
- Export citation
Paul Bernays. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, edited by A. Heyting. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
- Print publication:
- June 1962
-
- Article
- Export citation
B. Banaschewski. Hüllensysteme und Erweiterung von Quasi-Ordnungen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 117–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-236
- Print publication:
- June 1962
-
- Article
- Export citation
JSL volume 27 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- June 1962
-
- Article
-
- You have access
- Export citation
Arto Salomaa. On the number of simple bases of the set of f unctions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 52, Turun Yliopisto, Turku1962, 4 pp. - Arto Salomaa. Some completeness criteria for sets of functions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 53, Turku1962, 10 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 247
- Print publication:
- June 1962
-
- Article
- Export citation
Irving M. Copi. Tractatus 5.542. Analysis (Oxford), vol. 18 no. 5 (1958), pp. 102–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
- Print publication:
- March 1962
-
- Article
- Export citation
Alfred Tarski. ¿ Qué es la geometria elemental ?Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 (for 1958, published 1959), pp. 41–51. - Alfred Tarski. What is elementary geometry?The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957—January 4, 1958. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 16–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 93
- Print publication:
- March 1962
-
- Article
- Export citation
Hakan Törnebohm. On two logical systems proposed in the philosophy of quantummechanics. Theoria (Lund), vol. 23 (1957), pp. 84–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
- Print publication:
- March 1962
-
- Article
- Export citation
J. Barkley Rosser. Axiomatization of infinite valued logics. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 137–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
- Print publication:
- March 1962
-
- Article
- Export citation
J. R. Shoenfield. Open sentences and the induction axiom. The journal of symbolic logic, vol. 23 no. 1 (1958), pp. 7–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
- Print publication:
- March 1962
-
- Article
- Export citation
Alan Ross Anderson and Nuel D. BelnapJr., Enthymemes. The journal of philosophy, vol. 58 (1961), pp. 713–723.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
- Print publication:
- March 1962
-
- Article
- Export citation
Roderick M. Chisholm. On the uses of intentional words. The Journal of philosophy, vol. 51 (1954), pp. 436–441.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
- Print publication:
- March 1962
-
- Article
- Export citation
Ivo Thomas. Functional completeness of Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 (1960), pp. 107–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
- Print publication:
- March 1962
-
- Article
- Export citation
A. N. Prior. The syntax of time-distinctions. Franciscan studies, vol. 18 no. 2 (1958), pp. 105–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
- Print publication:
- March 1962
-
- Article
- Export citation
Note on Słupecki T-functions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-54
- Print publication:
- March 1962
-
- Article
- Export citation
G. Kreisel. Ordinal logics and the characterization of informal concepts of proof. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 289–299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
- Print publication:
- March 1962
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- March 1962
-
- Article
- Export citation
Setsuya Seki. On transfinite inferences. Commentarii mathematici Universitatis Sancti Pauli, vol. 4 no. 1 (1955), pp. 43–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-90
- Print publication:
- March 1962
-
- Article
- Export citation