13630 results in The Journal of Symbolic Logic
Hilary Putnam. A note on constructible sets of integers. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 270–273.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
- Print publication:
- June 1971
-
- Article
- Export citation
Reviews - L. Jonathan Cohen. The diversity of meaning. Methuen & Co. Ltd, London1962, and Herder and Herder, New York 1963, xi + 340 pp.; also second edition, Methuen & Co. Ltd, London 1966, xii + 369 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 316-318
- Print publication:
- June 1971
-
- Article
- Export citation
C. G. McKay. The decidability of certain intermediate propositional logics. The journal of symbolic logic, vol. 33 (1968), pp. 258–264.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
- Print publication:
- June 1971
-
- Article
- Export citation
Meetings of the Association for Symbolic Logic, U.S.-Japan Logic Seminar, Tokyo 1969
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-359
- Print publication:
- June 1971
-
- Article
- Export citation
G. E. Hughes and M. J. Cresswell. An introduction to modal logic. Methuen and Co. Ltd., London1968, xii + 388 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
- Print publication:
- June 1971
-
- Article
- Export citation
Madison 1970 meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-378
- Print publication:
- June 1971
-
- Article
- Export citation
W. L. Duda. Post canonical language. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 410–423.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- June 1971
-
- Article
- Export citation
George Goe. Modifications of Quine's ML and inclusive quantification systems. The journal of symbolic logic, vol. 33 (1968), pp. 39–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
- Print publication:
- June 1971
-
- Article
- Export citation
Two interpolation theorems for a
predicate calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-270
- Print publication:
- June 1971
-
- Article
- Export citation
F. William Lawvere. Algebraic theories, algebraic categories, and algebraic functors. 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. 413–418.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
- Print publication:
- June 1971
-
- Article
- Export citation
Albert A. Mullin. On a theorem equivalent to Post's fundamental theorem of recursive function theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 203–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- June 1971
-
- Article
- Export citation
J. R. Shoenfield. A hierarchy based on a type two object. Transactions of the American Mathematical Society, vol. 134 (1968), pp. 103–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
- Print publication:
- June 1971
-
- Article
- Export citation
L. W. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 166–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
- Print publication:
- June 1971
-
- Article
- Export citation
Alan Ross Anderson. What do symbols symbolize?: Platonism. Philosophy of science, The Delaware seminar, Volume 1, 1961–1962, edited by Bernard Baumrin, Interscience Publishers, New York and London1963, pp. 137–151. - A. R. Anderson, B. Baumrin, W. Busse, T. Bynum, R. D. Gray, W. McCormack, W. Reese. Discussion. Philosophy of science, The Delaware seminar, Volume 1, 1961–1962, edited by Bernard Baumrin, Interscience Publishers, New York and London1963, pp. 151–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 323
- Print publication:
- June 1971
-
- Article
- Export citation
M. Gross and A. Lentin. Introduction to formal grammars. English translation of XXXIV 298 by M. Salkoff. Springer-Verlag, New York, Heidelberg, and Berlin, 1970, XI + 231 pp. - Noam Chomsky. Preface. Therein, pp. VII–IX.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
- Print publication:
- June 1971
-
- Article
- Export citation
C. S. Lorens. Invertible Boolean functions. IEEE transactions on electronic computers, vol. EC–13 (1964), pp. 529–541.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-348
- Print publication:
- June 1971
-
- Article
- Export citation
Per Lindström. Remarks on some theorems of Keisler. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 571–576.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
- Print publication:
- June 1971
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-356
- Print publication:
- June 1971
-
- Article
- Export citation
Recursively enumerable sets which are uniform for finite extensions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-287
- Print publication:
- June 1971
-
- Article
- Export citation
E. W. Beth. I fondamenti logici della matematica. Italian translation by Ettore Casari of XXV 269. Feltrinelli Editore, Milan1963, XIII + 335 pp. - Ettore Casari. Prefazione del traduttore. Therein, pp. VII–XIII. - E. W. Beth. Osservazioni sulla deduzione naturale. Italian translation by Ettore Casari of XXII 360(3). Therein, pp. 255–259. - E. W. Beth. Considerazioni euristiche sui metodi di deduzione per sequenze. Italian translation by Ettore Casari of Considérations heuristiques sur les méthodes de déduction par séquences. Therein, pp. 260–267. - E. W. Beth. Osservazioni a proposito del ragionamento indiretto. Italian translation by Ettore Casari of Observations au sujet du raisonnement indirect. Therein, pp. 268–276. - E. W. Beth. Risultati di completezza per sistemi formali. Italian translation by Ettore Casari of XXVII 110. Therein, pp. 277–285. - Ettore Casari. I calcoli N e L di Gentzen. Therein, pp. 287–294.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
- Print publication:
- June 1971
-
- Article
- Export citation