13629 results in The Journal of Symbolic Logic
S. Ú. Maslov, G. É. Minc, and V. P. Orévkov. Nérazréšimost′ ν konstruktivnom isčislénii prédikatov nékotoryh klassov formul, sodéržaščih tol′ko odnoméstnyé prédikatnyé péréménnyé. Doklady Akadémii Nauk, vol. 163 (1965), pp. 295–297. - S. Ju. Maslov, G. E. Minc, and V. P. Orevkov. Unsolvability in the constructive predicate calculus of certain classes of formulas containing only monadic predicate variables. Translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 (1965), pp. 918–920.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-144
- Print publication:
- March 1970
-
- Article
- Export citation
R. Fréjvald. Složnost' raspoznavaniá simmétrii na mašinah T'uringa s vhodom (Complexity of recognition of symmetry on Turing machines with input). Algébra l logika, Séminar, vol. 4 no. 1 (1965), pp. 47–58. - Á. M. Barzdin'. Složnost' raspoznavaniá simmétrii na mašinah T'úringa (Complexity of recognition of symmetry on Turing machines). Problémy kibérnětiki, vol. 15 (1965), pp. 245–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 159
- Print publication:
- March 1970
-
- Article
- Export citation
Reviews - Ernest A. Moody. The medieval contribution to logic. Studium generale, vol. 19 (1966), pp. 443–452. - Ernest A. Moody. A quodlibetal question of Robert Holkot, O.P., on the problem of the objects of knowledge and of belief. Speculum, vol. 39 (1964), pp. 53–74. - Ernest A. Moody. Buridan and a dilemma of nominalism. Harry Austryn Wolfson jubilee volume, English section, vol. 2, American Academy for Jewish Research, Jerusalem 1965, pp. 577–596.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-124
- Print publication:
- March 1970
-
- Article
- Export citation
On theories T categorical in |T|
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-82
- Print publication:
- March 1970
-
- Article
- Export citation
On the cardinality of ultraproduct of finite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
- Print publication:
- March 1970
-
- Article
- Export citation
Joseph Barback. Double series of isols. Canadian journal of mathematics, vol. 19 (1967), pp. 1–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1970
-
- Article
- Export citation
Notice of a meeting of the Second Scandinavian Logic Symposium
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
- Print publication:
- March 1970
-
- Article
- Export citation
Michael A. Harrison. The number of transitivity sets of Boolean functions. Journal of the Society for Industrial and Applied Mathematics, t. 11 (1963), p. 806–828. - Michael A. Harrison. The number of equivalence classes of Boolean functions under groups containing negation. IEEE transactions on electronic computers, t. EC-12 (1963), p. 559–561. - Michael A. Harrison. On the number of classes of(n, k) switching networks. Journal of the Franklin Institute, t. 276 (1963), p. 313–327. - Michael A. Harrison. The number of classes of invertible Boolean functions. Journal of the Association for Computing Machinery, t. 10 (1963), p. 25–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-161
- Print publication:
- March 1970
-
- Article
- Export citation
Richard M. Martin. On acting on a belief. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst 1964, pp. 212–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- March 1970
-
- Article
- Export citation
Julia Robinson. The undecidability of exponential Diophantine equations. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 12–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
- Print publication:
- March 1970
-
- Article
- Export citation
On a question of G. E. Sacks 1
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 46-50
- Print publication:
- March 1970
-
- Article
- Export citation
Lewis White Beck. Can Kant's synthetic judgments be made analytic? Studies in the philosophy of Kant. The Bobbs-Merrill Company, Inc., a subsidiary of Howards W. Sams & Co., Inc., Indianapolis, New York, Kansas City, 1965, pp. 74–91. (Reprinted from Kant-Studien, vol. 47 (1955), pp. 168–181.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
- Print publication:
- March 1970
-
- Article
- Export citation
Rolf Schock. On finitely many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 43–58. Errata. Ibid., p. 195. - Rolf Schock. On denumerably many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 190–195. - R. Schock. Some theorems on the relative strengths of many-valued logics. Logique et analyse, n.s. vol. 8 (1965), pp. 101–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-142
- Print publication:
- March 1970
-
- Article
- Export citation
W. A. Verloren van Themaat. Räumliche Vorstellung und mathematisches Erkenntnisvermögen. Erster Band. D. Reidel Publishing Company, Dordrecht 1963, X + 131 pp. - W. A. Verloren van Themaat. Räumliche Vorstellung und mathematisches Erkenntnisvermögen. Zweiter Band. D. Reidel Publishing Company, Dordrecht, VIII + 59 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
- Print publication:
- March 1970
-
- Article
- Export citation
M. J. Cresswell. Note on a system of Åqvist. The journal of symbolic logic, vol. 32 (1967), pp. 58–60. - M. K. Rennie. S3(S) = S3.5. The journal of symbolic logic, vol. 33 (1968), pp. 444–445.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- March 1970
-
- Article
- Export citation
Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
- Print publication:
- March 1970
-
- Article
- Export citation
A. H. Lightstone and A. Robinson. On the representation of Herbrand functions in algebraically closed fields. The journal of symbolic logic, vol. 22 (1957), pp. 187–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-149
- Print publication:
- March 1970
-
- Article
- Export citation
Irving M. Copi. Introduction to logic. Third edition of XIX 147 and XXIX 92. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1968, xiii + 482 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 166
- Print publication:
- March 1970
-
- Article
- Export citation
Turing degrees and many-one degrees of maximal sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 29-40
- Print publication:
- March 1970
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-185
- Print publication:
- March 1970
-
- Article
- Export citation