Contents
Reviews
Gr. C. Moisil. Sur un théorème d'existence dans la théorie algébrique des mécanismes automatiques discrets. Revue de mathématiques pures et appliquées, vol. 3 no. 1 (1958), pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
-
- Article
- Export citation
Newton Carneiro Affonso da Costa. A natureza dos juizos matemáticos. Comunicação apresentada ao Congresso Internacional de Filosofia, realizado em São Paulo, em agôsto de 1954. Edição “Prata de Casa,” Curitiba, Estado do Paraná, Brasil, 1954, 11 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-232
-
- Article
- Export citation
J. Porte. Une propriété du calcul propositionnel intuitionniste. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 61 (1958), pp. 362–365; also Indagationes mathematicae, vol. 20 (1958), pp. 362–365.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
-
- Article
- Export citation
D. G. Lahuti and N. I. Stážkin. O različnyh vzgládah na sovréménnuú matématičéskuú logiku (Various views of contemporary mathematical logic). Voprosy filosofii, no. 3 (1957), pp. 208–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 232
-
- Article
- Export citation
G. C. Moisil. Sur la théorie algébrique des mécanismes automatiques: Synthèse des schemas à relais polarisés. Aktuelle Probleme der Rechentechnik, Deutscher Verlag der Wissenschaften, Berlin1957, pp. 51–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
-
- Article
- Export citation
G. N. Povarov. O métodiké analiza simmétričéskih kontaktnyh shém (Concerning the method of analysis of symmetrical contact circuits). Avtomatika i téléméhanika, vol. 16 (1955), pp. 364–366.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
-
- Article
- Export citation
Th. Skolem. A version of the proof of equivalence between complete induction and the uniqueness of primitive recursion. Det Kongelige Norske Videnskabers Selskabs, ForhandUnger, Bd. 29 Heft 3 (1956), S. 10–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
A. A. Zinovˇév. Rasširať tématiku logičéskih isslédovanij (Broaden the subject matter of logical investigations). Voprosy filosofii, no. 3 (1957), pp. 211–215. - A. A. Zinovˇév. O raboté séminara po logiké v Instituté Filosofii AN SSSR (On the work of the seminar on logic in the Institute of Philosophy of the Academy of Sciences of the USSR). Voprosy filosofii, no. 2 (1958), pp. 167–172.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-233
-
- Article
- Export citation
Ú. I. Žuravlév. Ob otdélimosti podmnožéstv vérših n-mérnogo édiničnogo kuba. Doklady Akadémii Nauk SSSR, vol. 113 (1957), pp. 264–267. - Iu. I. Zhuravlev. On the separability of subsets of the vertices of an n-dimensional unit cube. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1958, 6 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
-
- Article
- Export citation
N. I. Stážkin. O logičéskih paradoksah i ih otnošénii k dialéktičéskim protivoréčiám (On logical paradoxes and their relation to dialectical contradictions). Voprosy filosofii, no. 1 (1958), pp. 145–147.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
-
- Article
- Export citation
N. A. Routledge. Ordinal recursion. Proceedings of the Cambridge Philosophical Society, vol. 49 (1953), pp. 175–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-235
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-192
-
- Article
- Export citation
Reviews
N. A. Routledge. Concerning definable sets. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 6–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
-
- Article
- Export citation
Hartley RogersJr., Theory of recursive functions and effective computability. Volume I. Mimeographed. Technology Store, Cambridge, Mass., 1957, pp. i–xiv, 1–15, 15a, 16–20, 20a, 21–121, 121–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
Other
Notice of a symposium on problems in the structure of language
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
-
- Article
- Export citation
Reviews
G. Kreisel. On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 103–127. - G. Kreisel. Applications of mathematical logic to various branches of mathematics. 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, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 37–49. - A. Robinson and G. Kreisel. 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, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 50. - G. Kreisel. Models, translations, and interpretations. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 26–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-238
-
- Article
- Export citation
J. Porte. La logique mathématique et le calcul mécanique. Association Amicale des Ingénieurs de la Statistique et des Études Économiques, Bulletin (Paris), no. 28 (1955), pp. 21–43, and no. 29–30 (1956), pp. 43–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
-
- Article
- Export citation
Front matter
JSL volume 24 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation