13629 results in The Journal of Symbolic Logic
J. A. Postley. A method for the evaluation of a system of Boolean algebraic equations. Mathematical tables and other aids to computation, vol. 9 (1955), pp. 5–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
- Print publication:
- September 1956
-
- Article
- Export citation
JSL volume 21 issue 3 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
- Print publication:
- September 1956
-
- Article
-
- You have access
- Export citation
Bolesław Sobociński. Note on a problem of Paul Bernays. The journal of symbolic logic, vol. 20 (1955), pp. 109–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
- Print publication:
- September 1956
-
- Article
- Export citation
Irving M. Copi and Frank Harary. Some properties of n-adic relations. Portugaliae mathematica, vol. 12 no. 4 (for 1953, pub. 1954), pp. 143–152.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
- Print publication:
- September 1956
-
- Article
- Export citation
Max Black. Report on Analysis problem no. 3. Analysis (Oxford), vol. 14 no. 1 (1953), pp. 1–2. - Arnold Kapp. Does the logical truth (∃x) (Fx ∨ ~ Fx) entail that at least one individual exists?Analysis (Oxford), pp. 2–3. - Neil Cooper. Does the logical truth (x∃) (Fx ∨ ~ Fx) entail that at least one individual exists?Analysis (Oxford), pp. 3–5.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 206-207
- Print publication:
- June 1956
-
- Article
- Export citation
Jerzy Łoś. The algebraic treatment of the methodology of elementary deductive systems (Algebraizacja metodologii elementarnych systemów dedukcyjnych) (Algébraizaciá métodologii eléméntarnyh déduktivnyh sistém). English, with summaries in Polish and Russian. Studia logica, vol. 2 (1955), pp. 151–212. See Errata, ibid., p. 329.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-194
- Print publication:
- June 1956
-
- Article
- Export citation
Sigekatu Kuroda. Kaiseki no kiso ni kansuru iti-kôsatu (An examination of the foundations of analysis). Kisokagaku, vol. 3 no. 4 (1949), pp. 315–326 (no. 11, pp. 1–12).
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 196-197
- Print publication:
- June 1956
-
- Article
- Export citation
W. T. GuyJr, On equivalence relations. The American mathematical monthly, vol. 62 (1955), pp. 179–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
- Print publication:
- June 1956
-
- Article
- Export citation
Alfred Tarski. Inleiding tot de logica en tot de methodeleer der deductieve wetenschappen. Dutch translation of XII 61 (1) by E. W. Beth. Noord-Hollandsche Uitgevers Maatschappij, Amsterdam1953, xix + 259 pp. - E. W. Beth Ten geleide (For guidance). Therein, pp. xvii–xix.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
- Print publication:
- June 1956
-
- Article
- Export citation
Elections
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-224
- Print publication:
- June 1956
-
- Article
- Export citation
R. M. Martin. Symposium: What is a rule of language?Science, language, and human rights (American Philosophical Association, Eastern Division, Volume 1), University of Pennsylvania Press, Philadelphia1952, pp. 105–125.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 203
- Print publication:
- June 1956
-
- Article
- Export citation
Jerzy Kalinowski. Teoria zdań normatywnych. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 113–146. See Errata, ibid., pp. 299–300. - Jerzy Kalinowski. Théorie des propositions normatives. French translation. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 147–182. See Errata, ibid., p. 300. - Jerzy Kalinowski. Téoriá normativnyh prédložénij. Russian summary. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 183–184.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
- Print publication:
- June 1956
-
- Article
- Export citation
Henryk Greniewski. Elementy logiki formalnej. Państwowe Wydawnictwo Naukowe, Warschau1955, 492 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
- Print publication:
- June 1956
-
- Article
- Export citation
A. N. Prior. Diodoran modalities. The philosophical quarterly (St. Andrews), vol. 5 (1955), 205–213.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-200
- Print publication:
- June 1956
-
- Article
- Export citation
Jerzy Słupecki. St. Leśniewski's protothetics. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 44–112. See Errata, ibid., p. 299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-191
- Print publication:
- June 1956
-
- Article
- Export citation
Max Black. Frege on functions. Problems of analysis, Philosophical essays, by Max Black, Cornell University Press, Ithaca1954, pp. 229–254, 297–298.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-202
- Print publication:
- June 1956
-
- Article
- Export citation
Bruno v. Freytag-Loeringhoff, Oskar Becker, Paul Bernays, I. M. Bochenski, Walter Brugger, Haskell B. Curry, Béla Juhos, Jürgen v. Kempski, Gerhard Stammler. Die zur Vorbereitung des Symposions vorgelegten Thesen des Grundreferates von Dr. Bruno v. Freytag-Loeringhoff und die dazu eingegangenen Stellungnahmen. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich1952, pp. 161–171. - E. W. Beth. Selbständige Thesen. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich1952, p. 171. - Walter Brugger. Selbständige Thesen. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich1952, pp. 171–175. - Béla Juhos. Selbständige Thesen. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich1952, pp. 175–178. - Jürgen von Kempski. Selbständige Thesen. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich1952, p. 178. - Arnold Schmidt, Bruno v. Freytag-Loeringhoff, Paul Bernays, Heinrich Behmann, Walter Brugger, Silvio Ceccato, Haskell B. Curry, Hugo Dingler, Julius Ebbinghaus, Béla Juhos Heyde, Friedrich Kaulbach, Jürgen v. Kempski, Josef Klein, Paul F. Linke, Paul Lorenzen, Jan A. van der Meulen, Simon Moser, Heinrich Sauer, Werner Schingnitz, Georgi Schischkoff, Karl Schröter. Viertes Symposion. Philosophische Grundfragen der Logistik. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich1952, pp. 179–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-206
- Print publication:
- June 1956
-
- Article
- Export citation
Begründung einer strengen Implikation
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-128
- Print publication:
- June 1956
-
- Article
- Export citation
Juliusz Reichbach. O pelności węższego rachunku funkcyjnego. English, with summaries in Polish and Russian. Studia logica, vol. 2 (1955), pp. 213–228. - Juliusz Reichbach. O polnoté uzkogo funkcional'nogo isčisléniá. Russian translation of the preceding. English, with summaries in Polish and Russian. Studia logica, vol. 2 (1955), pp. 229–244. - Juliusz Reichbach. Completeness of the functional calculus of first order. English summary of the same. English, with summaries in Polish and Russian. Studia logica, vol. 2 (1955), pp. 245–250. See Errata, ibid., p. 329.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 194
- Print publication:
- June 1956
-
- Article
- Export citation
Tadeusz Czeżowski. On certain peculiarities of singular propositions. Mind, n.s. vol. 64 (1955), pp. 392–395.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
- Print publication:
- June 1956
-
- Article
- Export citation