13629 results in The Journal of Symbolic Logic
A. A. Fridman. O vzaimootnošénii méždu problémoj toždéstoa i problémoj soprážénnosti v konéínooprédélénnyh gruppah (On the relation between the word problem and the conjugacy problem in finitely defined groups). Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 9 (1960), pp. 329–356.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 507-508
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Robert Feys. Modal logics. Edited with some complements by Joseph Dopp. Collection de logique mathématique, Série B no. 4. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1965, XIV + 219 pp. - J. Dopp. Editor's foreword. Therein, pp. V–VIII.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-502
- Print publication:
- 17 November 1969
-
- Article
- Export citation
L. E. J. Brouwer. Points and spaces. Canadian journal of mathematics, vol. 6 (1954), pp. 1–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Thomas Storer. MINIAC: World's smallest electronic brain. Analysis (Oxford), vol. 22 (1962), pp. 151–152.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Katuzi Ono. A pursuit of simple basic systems. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 (1966), pp. 6–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Satoshi Miura. A remark on the intersection of two logics. Nagoya mathematical journal, vol. 26 (1966), pp. 167–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 504-505
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-531
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Infinitary logic and admissible sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-252
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Constructive order types on cuts1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-289
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Giuseppe Vaccarino. Il calcolo delle proposizioni. Archimede, vol. 1 (1949), pp. 229–233; vol. 2 (1950), pp. 96-98, 201-206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Probability logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-274
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Alfred Tarski. The completeness of elementary algebra and geometry. Centre National de la Recherche Scientifique, Institut Blaise Pascal, Paris1967, iv + 50 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- 25 July 1969
-
- Article
- Export citation
J.-L. Destouches. Sur la mécanique classique et l'intuitionnisme. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 74–79; also ibid., pp. 74-79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Definability in the monadic second-order theory of successor1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-170
- Print publication:
- 25 July 1969
-
- Article
- Export citation
N. A. Šanin. Konstruktivnyé véščéstvénnyé ĉisla i konstruktivnyé funkcional'nyé prostranstva (Constructive real numbers and constructive functional spaces). Problémy konstrukticnogo napravléniá v matématik, 2 (Konstruktivnyj matématičéskij analiz), Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 67Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 15–294.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-292
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-294
- Print publication:
- 25 July 1969
-
- Article
- Export citation
C. Spector. Inductively defined sets of natural numbers. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 97–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Reviews - A. I. Mal′Cév. Algoritmy i rekursivnyé funkcii (Algorithms and recursive functions). Izdatél′stvo “Nauka,” Glavnaá Rédakciá Fiziko-Matématičéskoj Litératury, Moscow1965, 391 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
- Print publication:
- 25 July 1969
-
- Article
- Export citation
T. G. McLaughlin. Some counterexamples in the theory of regressive sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 81–87.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Independence of Rose's axioms for m-valued implication
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
- Print publication:
- 25 July 1969
-
- Article
- Export citation