13629 results in The Journal of Symbolic Logic
Bruno Scarpellini. On a family of models of Zermelo-Fraenkel set theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 191–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
- Print publication:
- February 1970
-
- Article
- Export citation
Czesław Lejewski. On Lesniewski's Ontology. Ratio (Oxford), vol. 1 no 2 (1958), pp. 150–176. - Czesław Lejewski. Zu Lesniewskis Ontologie. Ratio (Frankfurt a. M.), vol. 2 (1957–1958), pp. 50–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 647-648
- Print publication:
- February 1970
-
- Article
- Export citation
David Randall Luce. A calculus of ‘before.’ Theoria (Lund), vol. 32 (1966), pp. 25-44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 646-647
- Print publication:
- February 1970
-
- Article
- Export citation
Anton Jensen. Om aksiomatisk mœngdeteori (On axiomatic set theory). Nordisk matematisk tidskrift, vol. 13 no. 3 (1965), pp. 91–101.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
- Print publication:
- February 1970
-
- Article
- Export citation
On primitive recursive permutations and their inverses1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 634-638
- Print publication:
- February 1970
-
- Article
- Export citation
JSL volume 34 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- February 1970
-
- Article
-
- You have access
- Export citation
Donald Kalish and Richard Montague. Logic. Techniques of formal reasoning. Harcourt, Brace & World, Inc., New York and Burlingame 1964, x + 350 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-642
- Print publication:
- February 1970
-
- Article
- Export citation
A. Lévy and R. M. Solovay. Measurable cardinals and the continuum hypothesis. Israel journal of mathematics, vol. 5 (1967), pp. 234–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-655
- Print publication:
- February 1970
-
- Article
- Export citation
T. Traczyk. Weak isomorphisms of Boolean and Post algebras. Colloquium mathematicum, vol. 13 no. 2 (1965), pp. 159–164.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
- Print publication:
- February 1970
-
- Article
- Export citation
Steven Orey. New foundations and the axiom of counting. Duke mathematical journal, vol. 31 (1964), pp. 655–660.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 649
- Print publication:
- February 1970
-
- Article
- Export citation
Henry E. KyburgJr. , Philosophy of science: A formal approach. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1968, xii + 332 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 643-644
- Print publication:
- February 1970
-
- Article
- Export citation
Combinatory logic with discriminators
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 561-575
- Print publication:
- February 1970
-
- Article
- Export citation
Jean Ladrière. La notion de constructivité en métamathématique. Bulletin de la Société Mathématique de Belgique (1956), pp. 82–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
- Print publication:
- February 1970
-
- Article
- Export citation
Z. Piesyk. Uwagi o aksjomatyce geometrii Tarskiego (Remarks on Tarski's system of axioms of geometry). Roczniki Polskiego Towarzystwa Matematycznego, Series I, vol. 9 (1965), pp. 23–33.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 648
- Print publication:
- February 1970
-
- Article
- Export citation
B. van Rootselaar. On intuitionistic difference relations. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 (1960), pp. 316–322; also Inda-gationes mathematicae, vol. 22 (1960), pp. 316-322. - B. van Rootselaar. Corrections. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 132–133; also ibid., vol. 25 (1963), pp. 132-133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-520
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Natural models of ackermann's set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-488
- Print publication:
- 17 November 1969
-
- Article
- Export citation
C. C. Elgot. Decision problems of finite automata design and related arithmetics. Transactions of the American Mathematical Society, vol. 98 (1961), pp. 21–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-510
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Tsutomu Hosoi. On the separation theorem of intermediate propositional calculi. Proceedings of the Japan Academy of Sciences, vol. 42 (1966), pp. 535–538. - Tsutomu Hosoi. The separable axiomatization of the intermediate propositional systems Sn of Gödei. Proceedings of the Japan Academy of Sciences, vol. 42 (1966), pp. 1001–1006.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Saul A. Kripke. Semantical considerations for modal logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta Philosophica Fennica1963, pp. 83–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 501
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Katuzi Ono. A certain kind of formal theories. Nagoya mathematical journal, vol. 25 (1965), pp. 59–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 503
- Print publication:
- 17 November 1969
-
- Article
- Export citation