Contents
Reviews
Edith Watson Schipper and Edward Schuh. A first course in modern logic. Henry Holt and Company, Inc., New York1959, xviii + 398 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
-
- Article
- Export citation
John G. Kemeny, Hazleton Mirkill, J. Laurie Snell, and Gerald L. Thompson. Finite mathematical structures. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1959, xiv + 487 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
-
- Article
- Export citation
Ernest Nagel and James R. Newman. Gödei's proof. New York University Press, New York1958, ix + 118 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 222
-
- Article
- Export citation
Karl Menger. Calculus, a modern approach. Ginn and Company, Boston etc. 1955, xviii + 354 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
-
- Article
- Export citation
Heinz Bachmann. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 1. Springer-Verlag, Berlin-Göttingen-Heidelberg1955, VII + 204 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-224
-
- Article
- Export citation
Paul Bernays. Axiomatic set theory. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1958, VIII + 226 pp. - A. A. Fraenkel. Part I. Historical introduction. Therein, pp. 3–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 224-225
-
- Article
- Export citation
Roland Fraïssé. Un modèle définissant une théorie aberrante des ensembles où sont niés les axiomes du choix et d'extensionalité. Publications scientifiques de l'Université d'Alger, Série A, Mathématiques, vol. 5 no. 1 (1958), pp. 17–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
-
- Article
- Export citation
Azriel Lévy. Indépendance conditionnelle de V = L et d'axiomes qui se rattache au système de M. Gödel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1582–1583.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 226
-
- Article
- Export citation
Ernst Specker. Zur Axiomatik der Mengenlehre (Fundierungs- und Auswah axiom). Zeitschrift für mathematische Logik und Grundlagen der Mathamatik, vol. 3 (1957), pp. 173–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
-
- Article
- Export citation
Katuzi Ono. A set theory founded on unique generating principle. Nagoya mathematical journal, vol. 12 (1957), pp. 151–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 227
-
- Article
- Export citation
Václav Edvard Beneš. On the consistency of an axiom of enumerability. The Journal of symbolic logic, vol. 20 (1955), pp. 29–30.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
-
- Article
- Export citation
Robert Blanché. Sur la structuration du tableau des connectifs interpropositionnels binaires. The Journal of symbolic logic, vol. 22 no. 1 (1957), pp. 17–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
-
- Article
- Export citation
Raymond M. Smullyan. Languages in which self reference is possible. The Journal of symbolic logic, vol. 22 no. 1 (1957), pp. 55–67.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
-
- Article
- Export citation
Daniel Lacombe. Les idées actuelles sur la structure des mathématiques. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp. 39–96. - Roger Apéry, Maurice Fréchet, Daniel Lacombe, André Lalande, Jean Porte, Jean Ullmo. Discussion. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp. 97–133. - Maurice Fréchet. Note. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp. 133–135. - Daniel Lacombe. Exposé complémentaire sur le théorème de Gödei. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 avril 1956, Éditions Albin Michel Paris1957, pp 135–160.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
-
- Article
- Export citation
Marc Krasner. Théorie de la définition. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 (1957), pp. 325–357, and vol. 37 (1958), pp. 53–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
-
- 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
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
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
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
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