13629 results in The Journal of Symbolic Logic
William T. Fontaine. Avoidability and the contrary-to-fact conditional in C. L. Stevenson and C. I. Lewis. The journal of philosophy, vol. 48 (1951), pp. 783–788.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 500
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Nicolas Rescher. The logic of commands. Routledge & Kegan Paul, Ltd., London, and Dover Publications, Inc., New York, 1966, xii + 147 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 499-500
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Bar Induction and Π11-CA1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-362
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Dana Scott. Dimension in elementary Euclidean 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. 53–67.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Consistency of lesniewski's mereology
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-328
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Abraham Robinson. On languages which are based on non-standard arithmetic.Nagoya mathematical journal, vol. 22 (1963), pp.83–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 516-517
- Print publication:
- 17 November 1969
-
- Article
- Export citation
A. I. Mal′cév. O malyh modélah (On small models). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 258–261.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-514
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Reduced products and nonstandard logics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 424-436
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Raymond D. Bradley. Geometry and necessary truth. The philosophical review, vol. 73 (1964), pp. 59–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 496-497
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Michael Arbib and Manuel Blum. Machine dependence of degree of difficulty. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 442–447.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Clement F. Kent. Constructive analogues of the group of permutations of the natural numbers. Transactions of the American Mathematical Society, vol. 104 (1962), pp.347–362.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-518
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Bjarni Jónsson. Defining relations for full semigroups of finite transformations. The Michigan mathematical journal, vol. 9 (1962), 77–85.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Bernard A. Galler. Cylindric andpolyadic algebras. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 176–183.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Jonas Lichtenberg. Matematik og symboler (Mathematics and symbols). Teknisk Forlag, Copenhagen1967, 50 pp.
-
- 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
B. M. Kloss. K oprédéléniú složnosti algoritmov. Doklady Akademii Nauk SSSR, vol. 157 (1964), pp. 38–40. - B. M. Kloss. The definition of complexity of algorithms. English translation of the preceding by S. L. Bloom. Soviet Mathematics, vol. 5 no. 4 (1964), pp. 880–882.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Trevor Evans. The word problem for abstract algebras. The journal of the London Mathematical Society, vol. 26 (1951), pp. 64–71. - Trevor Evans. Embeddability and the word problem. The journal of the London Mathematical Society, vol. 28 (1953), pp. 76–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 507
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Gr. C. Moisil. Scheme cu comandă directă cu contacte şi relee (Relay contact circuits under direct control). Monografii asupra teoriei algebrice a mecanismelor automate. Editura Academiei Republicii Populare Romîne, Bucharest1959, 205 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-511
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Countable vector spaces with recursive operations Part I1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-387
- Print publication:
- 17 November 1969
-
- Article
- Export citation
F. Richard Singer. Some Sheffer functions for M-valued logics. Scripta mathematica, vol. 28 (1967), pp. 21–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
- Print publication:
- 17 November 1969
-
- Article
- Export citation
M. A. Gavrilov. Sovréménnoé sostoánié téorii réléjnyh ustrojstv (The present state of the theory of relay circuits). Strukturnaá téoriá réléjnyh ustrojstv, Izdatél′stvo Akadémii Nauk, SSSR, Moscow1963, pp. 5–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
- Print publication:
- 17 November 1969
-
- Article
- Export citation