13629 results in The Journal of Symbolic Logic
Steven Orey. Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 (1959), pp. 72–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
- Print publication:
- March 1962
-
- Article
- Export citation
Sibajiban. Can doubt be doubted?Mind, n.s. vol. 69 (1960), pp. 84–87.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
- Print publication:
- March 1962
-
- Article
- Export citation
Leon Henkin. On mathematical induction. American mathematical monthly, vol. 67 (1960), pp. 323–338.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-93
- Print publication:
- March 1962
-
- Article
- Export citation
Georges Kreisel. La prédicativité. Bulletin de la Société Mathématique de France, vol. 88 (1960), pp. 371–391.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-80
- Print publication:
- March 1962
-
- Article
- Export citation
J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 (1958), pp. 357–373.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-85
- Print publication:
- March 1962
-
- Article
- Export citation
Witold Michałowski. Zagadnienie nazw pustych w sylogistyce Arystotelesa w świetle “ontologii” Leśniewskiego (Dos Problem der leeren Namen in der Syllogistik im Lichte der “Ontologie” von Leśniewski). Roczniki filozoficzne, vol. 5 no. 2 (1957–1958), pp. 65–95, 227.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- March 1962
-
- Article
- Export citation
M. C. Badillo. Lógica trivalente en la automatización de los circuitos. Revista de cálculo automatico y cibernética, vol. 6 (1957), pp. 1–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
- Print publication:
- March 1962
-
- Article
- Export citation
D. J. Christensen and R. S. Pierce. Free products of α-distributive Boolean algebras. Mathematica Scandinavica, vol. 7 (1959), pp. 81–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
- Print publication:
- March 1962
-
- Article
- Export citation
A. G. Lunc. O supérpozicii kontaktnyh, shém (On superposition of contact circuits). Izvéstiá Léningradskogo Eléktrotéhničéskogo Instituta iméni V. I. Ul′ánova (Lénina), vol. 45 (1961), pp. 277–289.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
- Print publication:
- March 1962
-
- Article
- Export citation
Hartley RogersJr., Recursive functions over well-ordered partial orderings. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 847–853.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
- Print publication:
- March 1962
-
- Article
- Export citation
Frank W. Anderson. Function lattices. Lattice theory. Proceedings of symposia in pure mathematics, vol. 2 (1961), pp. 198–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
- Print publication:
- March 1962
-
- Article
- Export citation
Günter Asser. Normierte Postsche Algorithmen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 5 (1959), pp. 323–333.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1962
-
- Article
- Export citation
Alfred Morton Bork. Methodology of the empirical sciences. Philosophy of science, vol. 26 (1959), pp. 31–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
- Print publication:
- March 1962
-
- Article
- Export citation
Walter Felscher and Jürgen Schmidt. Natürliche Zahlen, Ordnung, Nachfolge. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 81–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-92
- Print publication:
- March 1962
-
- Article
- Export citation
P. Banks (pseudonym). On the philosophical interpretation of logic: An Aristotelian dialogue. Dominican studies, vol. 3 (1950), pp. 139–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 116
- Print publication:
- March 1962
-
- Article
- Export citation
C. Douglas McGee. Who means what by ‘synonymy’?Inquiry, vol. 2 (1959), pp. 199–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
- Print publication:
- March 1962
-
- Article
- Export citation
Shôji Maehara. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 (1954), pp. 923–926.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
- Print publication:
- March 1962
-
- Article
- Export citation
László Kalmár. Ein direkter Beweis für die allgemein-rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 2 (1956), pp. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
- Print publication:
- March 1962
-
- Article
- Export citation
Ian Rawlins. Natural philosophy and the fine arts. Aesthetics and the gestalt, a collection of essays and other writings by Ian Rawlins, Nelson, Edinburgh1953, pp. 51–67. (Reprinted from Memoirs and proceedings of the Manchester Literary and Philosophical Society, vol. 88 (1946–7), pp. 63–76). - Ian Rawlins. The philosophy of science and art. Aesthetics and the gestalt, a collection of essays and other writings by Ian Rawlins, Nelson, Edinburgh1953, pp. 78–84. (Reprinted from Alumni, vol. 19 (1950), pp. 382–387.) - Ian Rawlins. The functional “a priori.”Aesthetics and the gestalt, a collection of essays and other writings by Ian Rawlins, Nelson, Edinburgh1953, pp. 117–122. A reprint of XII 64. - Ian Rawlins. Definition in philosophy. Aesthetics and the gestalt, a collection of essays and other writings by Ian Rawlins, Nelson, Edinburgh1953, pp. 135–137. A reprint of XVII 223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
- Print publication:
- March 1962
-
- Article
- Export citation
Nicola Abbagnano. Sul concetto di esperienza. Rivista di filosofia, vol. 49 (1958), pp. 21–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
- Print publication:
- March 1962
-
- Article
- Export citation