13629 results in The Journal of Symbolic Logic
Abraham Robinson. L'application de la logique formelle aux mathématiques. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 51–63. - G. Kurepa, G. Kreisel, A. Robinson. Discussion. Applications scientifiques de la logique mathéatique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, p. 64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-219
- Print publication:
- June 1958
-
- Article
- Export citation
Edwin Hirschhorn. Simplification of a class of Boolean functions. Journal of the Association for Computing Machinery, vol. 5 no. 1 (1958), pp. 67–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-237
- Print publication:
- June 1958
-
- Article
- Export citation
Wilhelm Ackermann. Zur Axiomatik der Mengenlehre. Mathematische Annalen, vol. 131 (1956), pp. 336–345.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
- Print publication:
- June 1958
-
- Article
- Export citation
A. Heyting. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 59–63. - Paul Bernays, H. Hermes, A. Heyting, Ingebrigt Johansson, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
- Print publication:
- June 1958
-
- Article
- Export citation
V. I. Šéstakov. Algébraičéskij métod analiza avtonomnyh sistém dvuhpozicionnyh rélé. I. (An algebraic method of analysis of autonomic systems of two-positional relays. I.) Avtomatika i téléméhanika, vol. 15 (1954), pp. 107–123.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-233
- Print publication:
- June 1958
-
- Article
- Export citation
Mathematical significance of consistency proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-182
- Print publication:
- June 1958
-
- Article
- Export citation
Paul R. Halmos. The basic concepts of algebraic logic. The American mathematical monthly, vol. 63 (1956), pp. 363–387.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 223
- Print publication:
- June 1958
-
- Article
- Export citation
R. M. Friedberg. Two recursively enumerable sets of incomparable degrees of unsolvability (solution of Post's problem, 1944). Proceedings of the National Academy of Sciences of the United States of America, vol. 43 (1957), pp. 236–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
- Print publication:
- June 1958
-
- Article
- Export citation
Josef De Vries. Urteilsanalyse und Seinserkenntnis. Scholastik, vol. 27 (1952), pp. 382–399. - Alfons Winkelmann. Die Stellung der formalen Logik im Sovjetssystem. Scholastik, vol. 31 (1956), pp. 85–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 88
- Print publication:
- March 1958
-
- Article
- Export citation
Günter Asser. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 (1957), S. 30–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-40
- Print publication:
- March 1958
-
- Article
- Export citation
Gustav Bergmann. Two cornerstones of empiricism. Synthese, vol. 8 issue 5 no. 10 (1953), pp. 435–452.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
- Print publication:
- March 1958
-
- Article
- Export citation
Leon Henkin. A generalization of the notion of ω-consistency. The journal of symbolic logic, vol. 19 (1954), pp. 183–196.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 40
- Print publication:
- March 1958
-
- Article
- Export citation
J. W. Addison and S. C. Kleene. A note on function quantification. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 1002–1006.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-48
- Print publication:
- March 1958
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-102
- Print publication:
- March 1958
-
- Article
- Export citation
P. Labérenne. Deux études sur les fondements des mathématiques. La pensée, n.s. no. 58 (1954), p. 73. - Jacques Hadamard. La géometrie non euclidienne et les définitions axiomatiques. La pensée, n.s. no. 58 (1954), pp. 74–81. - Jacques Hadamard. Sur l'impossibilité de démontrer la compatibilité des axiomes de l'arithmetique. La pensée, n.s. no. 58 (1954), p. 82. - A. D. Alexandrov. L'idéalisme de la théorie des ensembles. La pensée, n.s. no. 58 (1954), pp. 83–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 30-32
- Print publication:
- March 1958
-
- Article
- Export citation
William G. Leavitt. Boolean algebra and circuit analysis. Nebraska blue print, vol. 52 no. 5 (1952), pp. 13, 14, 28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
- Print publication:
- March 1958
-
- Article
- Export citation
Thomas Storer. On defining ‘soluble’ – reply to Bergmann. Analysis (Oxford), vol. 14 no. 5 (1954), pp. 123–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
- Print publication:
- March 1958
-
- Article
- Export citation
Jean Porte. Un système de postulats pour le calcul des prédicats. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 817–819.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 41
- Print publication:
- March 1958
-
- Article
- Export citation
E. W. Beth. Verstand en intuïtie (Reason and intuition). Algemeen Nederlands tijdschrift voor wijsbegeerte en psychologie, vol. 46 (1953–1954), pp. 213–224; also Annalen van het Genootschap voor Wetenschappelijke Philosophie, vol. 23 (1953–4), pp. 29–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
- Print publication:
- March 1958
-
- Article
- Export citation
JSL volume 23 issue 1 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- March 1958
-
- Article
-
- You have access
- Export citation