56 results
The Discovery of My Completeness Proofs
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 127-158
- Print publication:
- June 1996
-
- Article
- Export citation
In Memoriam: Raphael Mitchel Robinson
-
- Journal:
- Bulletin of Symbolic Logic / Volume 1 / Issue 3 / June 1995
- Published online by Cambridge University Press:
- 15 January 2014, pp. 340-343
- Print publication:
- June 1995
-
- Article
- Export citation
Marc Krasner. Les algèbres cylindriques. Bulletin de la Société Mathématique de France, vol. 86 (1958), pp. 315–319.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1971
-
- Article
- Export citation
Maurice L'abbé. Structures algébriques suggérées par la logique mathématique. Bulletin de la Société Mathématique de France, vol. 86 (1958), pp. 299–314.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1971
-
- Article
- Export citation
M. H. Stone. Free Boolean rings and algebras. Anais da Academia Brasileira de Ciências, vol. 26 (1954), pp. 9–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 415
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Evert W. Beth. Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, and Gordon and Breach, New York, 1962, XIV + 170 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-236
- Print publication:
- June 1965
-
- Article
- Export citation
An extension of the Craig-Lyndon interpolation theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-216
- Print publication:
- September 1963
-
- Article
- Export citation
António Monteiro. Matrices de Morgan caractéristiques pour le calcul propositionnel classique. Anais da Academia Brasileira de Ciencias, vol. 32 (1960), pp. 1–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-175
- Print publication:
- June 1963
-
- Article
- Export citation
Hilary Putnam. Three-valued logic. Philosophical studies (Minneapolis), vol. 8 (1957), pp. 73–80. - Paul Feyerabend. Reichenbach's interprétation of quantum-mechanics. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 49–59. - Isaac Levi. Putnam's three truth values. Philosophical studies (Minneapolis), vol. 10 (1959), pp. 65–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-291
- Print publication:
- September 1960
-
- Article
- Export citation
Jerome Rothstein. Communication, organization and science. With a foreword by C. A. Muses. The Falcon's Wing Press, Indian Hills, Colorado, 1958, xcvi + 110 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
- Print publication:
- September 1960
-
- Article
- Export citation
Andrzej Mostowski. Quelques observations sur I'usage des méthodes non finitistes dans la méta-mathématiques. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris1958, pp. 19–29. - D. Lacombe, A. Mostowski. Interventions. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris1958, pp. 29–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-235
- Print publication:
- September 1959
-
- Article
- Export citation
L. Nolin. Sur l'algèbre des prédicats. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris1958, pp. 33–37. - A. Mostowski, J. Porte, A. Tarski, J. Riguet. Interventions. Le raisonnement en mathématiques et en sciences expérimentales, Colloques internationaux du Centre National de la Recherche Scientifique 70, Éditions du Centre National de la Recherche Scientifique, Paris1958, p. 37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- September 1959
-
- Article
- Export citation
A. Mal'cév. Ob odnom obščém métodé polučéniá lokal'nyh téorém téorii grupp (On a general method for obtaining local theorems in group theory). Ivanovskij Gosudarstvénnyj Pédagogičéskij Institut, Učényé zapiski, Fiziko-matématičéskié nauki, vol. 1 no. 1 (1941), pp. 3–9. - A. I. Mal'cév. O prédstavléniáh modéléj (On representations of models). Doklady Akadémii Nauk SSSR, vol. 108 (1956), pp. 27–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-57
- Print publication:
- March 1959
-
- Article
- Export citation
E. W. Beth. Réflexions sur l'organisation et la méthode de l'enseignement mathématique. L'enseignement des mathématiques, Delachaux & Niestlé S.A., Neuchatel and Paris1955, pp. 35–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 34
- Print publication:
- March 1958
-
- Article
- Export citation
A. Heyting. Logique et intuitionnisme. 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, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 75–82. - G. Kreisel, Abraham Robinson, Ingebrigt Johansson, Georges Kurepa, A. Heyting. Discussion. 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, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 82–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 33
- Print publication:
- March 1958
-
- Article
- Export citation
K. Jaakko Hintikka. An application of logic to algebra. Mathematica scandinavica, vol. 2 (1954), pp. 243–246.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-217
- Print publication:
- June 1957
-
- Article
- Export citation
A generalization of the concept of ω-completeness1
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-14
- Print publication:
- March 1957
-
- Article
- Export citation
A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski. Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. Polnischen Mathematikerkongresses vom 6. bis 12. September 1953 in Warschau, Deutscher Verlag der Wissenschaften, Berlin1955, pp. 11–44. - Andrzej Mostowski, in collaboration with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, and R. Sikorski. The present state of investigations on the foundations of mathematics. English translation. Rozprawy matematyczne no. 9. (Polska Akademia Nauk, Instytut Matematyczny.) Państwowe Wydawnictwo Naukowe, Warsaw1955, 48 pp. - A. Mostowski, with participation of A. Grzegorczyk, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski, and S. Jaśkowski. Sovréménnoé sostoánié isslédovanij po osnovaniám matématiki. Russian translation. Uspéhi matématičéskih nauk, vol. 9 no. 3 (1954), pp. 3–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-373
- Print publication:
- December 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
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