13629 results in The Journal of Symbolic Logic
Richard M. Friedberg and Hartley RogersJr., Reducibility and completeness for sets of integers. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 117–125.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
- Print publication:
- December 1960
-
- Article
- Export citation
Nicholas Rescher. Logical analysis in historical application. Methodos, vol. 11 (1959), pp. 1–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
- Print publication:
- December 1960
-
- Article
- Export citation
Hanfried Lenz. Zur Axiomatik der Zahlen. Acta mathematica Academiae Scientiarum Hungaricae, vol. 9 (1958), pp. 33–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-353
- Print publication:
- December 1960
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-383
- Print publication:
- December 1960
-
- Article
- Export citation
J. F. Staal. The construction of formal definitions of subject and predicate. Transactions of the Philological Society, 1960, pp. 89–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
- Print publication:
- December 1960
-
- Article
- Export citation
Wilfrid Sellars. Presupposing. The philosophical review, vol. 63 (1954), pp. 197–215. - P. F. Strawson. A reply to Mr. Sellars. The philosophical review, vol. 63 (1954), pp. 216–231. - Max Black. Presupposition and implication. Kagaku tetsugaku eno michi (A way to the philosophy of science), Essays in the philosophical analysis IV, edited by Seizi Uyeda, Waseda University Press, Tokyo1958, pp. 433–448. - Vergil H. Dykstra. Philosophers and presuppositions. Mind, n.s. vol. 69 (1960), pp. 63–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-339
- Print publication:
- December 1960
-
- Article
- Export citation
On formulas of one variable in intuitionistic propositional calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-331
- Print publication:
- December 1960
-
- Article
- Export citation
A. N. Prior. Formalized syllogistic. Synthese, vol. 11 no. 3 (1959), pp. 265–273.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 345
- Print publication:
- December 1960
-
- Article
- Export citation
John Turk Saunders. A sea fight tomorrow?The philosophical review, vol. 67 (1958), pp. 367–378.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
- Print publication:
- December 1960
-
- Article
- Export citation
Hillary Putnam and R. M. Smullyan. Exact separation of recursively enumerable sets within theories. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 574–577.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
- Print publication:
- December 1960
-
- Article
- Export citation
Wilhelm Ackermann. Über die Beziehung zwischen strikter und strenger Implikation. Deutsch, mit deutschem, französischem und englischem Résumé. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique no. 34, Editions du Griffon, Neuchâtel 1959, S. 9–18; auch Dialectica Bd. 12 (1958), S. 213–222.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 349
- Print publication:
- December 1960
-
- Article
- Export citation
Håkan Törnebohm. Notes on modal operators. Theoria (Lund), vol. 24 (1958), pp. 130–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
- Print publication:
- December 1960
-
- Article
- Export citation
Robert McNaughton. Some formal relative consistency proofs. The journal of symbolic logic, vol. 18 (1953), pp. 136–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-354
- Print publication:
- December 1960
-
- Article
- Export citation
Reviews - Robert Charles Marsh. Preface. Logic and knowledge, Essays 1901–1950, by Bertrand Russell, edited by Robert Charles Marsh, George Allen & Unwin, London1956, pp. v–vii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- December 1960
-
- Article
- Export citation
Joseph Gerard Brennan. A handbook of logic. Second edition of XXIV 186. Harper & Bros., New York1961, xi + 250 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
- Print publication:
- December 1960
-
- Article
- Export citation
R. H. Urbano and R. K. Mueller. A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 (1956), pp. 126–132. - David M. Brender. The logical procedures needed for finding the minimals of a Boolean function on a digital computer. 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, p. 210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-370
- Print publication:
- December 1960
-
- Article
- Export citation
Henry E. KyburgJr., The justification of deduction. The review of metaphysics, vol. 12 no. 1 (1958), pp. 19–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
- Print publication:
- December 1960
-
- Article
- Export citation
Haskell B. Curry. Calculuses and formal systems. Englisch, mit englischem, deutschem und französischem Résumé. Ebd., S. 45–69; auch ebd., S. 249–273.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
- Print publication:
- December 1960
-
- Article
- Export citation
John Myhill. Recursive digraphs, splinters, and cylinders. Mathematische Annalen, vol. 138 (1959), pp. 211–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
- Print publication:
- December 1960
-
- Article
- Export citation
A. Mostowski. On computable sequences. Ebd., S. 37–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
- Print publication:
- December 1960
-
- Article
- Export citation