Reviews
Julia Robinson. Existential definability in arithmetic. Transactions of the American Mathematical Society, Bd. 72 (1952), S. 437–449.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
-
- Article
- Export citation
Arthur Pap. Belief, synonymity, and analysis. Philosophical studies, vol. 6 (1955), pp. 11–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
-
- Article
- Export citation
Claude E. Shannon. The synthesis of two-terminal switching circuits. The Bell System technical journal, vol. 28 (1949), pp. 59–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
Leon Henkin. Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74 (1953), pp. 410–427.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
-
- Article
- Export citation
D. A. Huffman. The synthesis of sequential switching circuits. Journal of the Franklin Institute, vol. 257 (1954), pp. 161–190, 275–303.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
-
- Article
- Export citation
Alonzo Church. On Carnap's analysis of statements of assertion and belief. A reprint of XVI 76(3). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 125–128. - Rudolf Carnap. On belief sentences. Reply to Alonzo Church. Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 128–131.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
-
- Article
- Export citation
Rudolf Carnap. Meaning and synonymy in natural languages. Philosophical studies, vol. 6 (1955), pp. 33–47.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
David Slepian. On the number of symmetry types of Boolean functions of n variables. Canadian journal of mathematics, vol 5 (1953), pp. 135–193. Reprinted in the Bell Telephone System technical publications, monograph 2154.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
W. Peremans. Some theorems on free algebras and on direct products of algebras. Simon Stevin, vol. 29 (1952), pp. 51–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
-
- Article
- Export citation
Arthur W. Burks, Don W. Warren, and Jesse B. Wrights. An analysis of a logical machine using parenthesis-free notation. Mathematical tables and other aids to computation, vol. 8 (1954), pp. 53–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
-
- Article
- Export citation
Austin Duncan-Jones. Fugitive propositions. A reprint of XV 151(1). Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 166–168. - Patrick Nowell Smith. Fugitive propositions. Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954, pp. 168–172. (Reprinted from Analysis, vol. 10 no. 5 (1950), pp. 100–103.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
-
- Article
- Export citation
E. W. Beth. Sur le parallélisme logico-mathématique. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 27–32. - Paul Bernays, E. W. Beth, Abraham Robinson. Discussion. Ibid., pp. 32–33.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
-
- Article
- Export citation
Bernard Mayo. Events and language. Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 173–180. (Reprinted from Analysis, vol. 10 no. 5 (1950), pp. 109–115.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
-
- Article
- Export citation
Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 73–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Andrzej Grzegorczyk. Some classes of recursive functions. Rozprawy matematyczne no. 4. Instytut Matematyczny Polskiej Akademii Nauk, Warschau1953, 46 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-72
-
- Article
- Export citation
László Kalmár. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére (Reduction of the decision problem to the satisfiability question of logical formulae on a finite set). Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, S. 163–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
-
- Article
- Export citation
L. Jonathan Cohen. Tense usage and propositions. Philosophy and analysis, A selection of articles published in Analysis between 1933-40 and 1947-53, edited by Margaret Macdonald; Basil Blackwell, Oxford1954, and Philosophical Library, New York 1954; pp. 180–188. (Reprinted from Analysis, vol. 11 no. 4 (1951), pp. 80–87.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
-
- Article
- Export citation
A. Châtelet. Allocution d'ouverture. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. XIII. - L. E. J. Brouwer. Discours final. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 75. - Abraham Robinson. On axiomatic systems which possess finite models. Methodos, vol. 3 (1951), pp. 140–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
A. A. Markov. Téoriá algorifmov (Az algoritmusok elmélete). Russian, with brief abstract in Hungarian. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, pp. 191–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
Heinrich Guggenheimer. Ueber ein bemerkenswertes logisches System aus der Antike. Methodos, vol. 3 (1951), pp. 150–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 186-187
-
- Article
- Export citation