Contents
Reviews
Georges Kreisel. La prédicativité. Bulletin de la Société Mathématique de France, vol. 88 (1960), pp. 371–391.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-80
-
- Article
- Export citation
S. A. Ánovskaá. Matématičéskaá logika i osnovaniá matématiki (Mathematical logic and the foundations of mathematics). Matématika v SSSR za sorok lét 1917–1957, Vol. I, Obzornyé stat'i, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Litératury, Moscow 1959, pp. 13–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 470
-
- Article
- Export citation
L. A. Kalužnin. Ob algoritmizacii matématičéskih zadač (On algorithmization of mathematical problems). Problémy kibérnétiki, vol. 2 (1959), pp. 51–67.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-364
-
- Article
- Export citation
Robert McNaughton. Axiomatic systems, conceptual schemes, and the consistency of mathematical theories. Philosophy of science, vol. 21 (1954), pp. 44–53. - Robert McNaughton. Conceptual schemes in set theory. The philosophical review, vol. 66 (1957), pp. 66–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
-
- Article
- Export citation
Stanisław Kamiński. Fregego logika zdań. Roczniki filozoficzne, vol. 5 no. 2 (1957–1958), pp. 31–64. - S. Kamiński. Frege's logic of propositions. English summary of the preceding. Roczniki filozoficzne, vol. 5 no. 2 (1957–1958), p. 226.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
-
- Article
- Export citation
Günter Asser (Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 20–27) has meanwhile gone farther and shown, inter alia, the equivalence of Kalužnin's graph-schematic algorithm concept with Asser's functional-algorithm concept.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 364
-
- Article
- Export citation
L. P. Gokiéli. O prirodé logičéskogo (On the nature of the logical). Izdatél′stvo Akadémii Nauk Gruzinskoj SSR, Tbilisi 1958, 467 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-471
-
- Article
- Export citation
A. Grzegorczyk, A. Mostowski, and C. Ryll-Nardzewski. The classical and the ω-complete arithmetic. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 188–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-81
-
- Article
- Export citation
A. P. Éršov. Opératornyé algorifmy. I. (Osnovnyé ponátiá). (Operator algorithms. I. Basic concepts.) Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1960), pp. 5–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 364-366
-
- Article
- Export citation
Hao Wang. Alternative proof of a theorem of Kleene. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), p. 250.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
-
- Article
- Export citation
Giuseppe Peano. Formulario mathematico. Riproduzione in fac-simile dell'edizione originale. Edizioni Cremonese, Rome 1960, XLVIII + XXXVI + 482 pp. - Ugo Cassina. Prefazione. Therein, pp. III–IV. - Ugo Cassina. Introduzione. Therein, pp. V–XXXIII. - Ugo Cassina. Note. Therein, pp. XXXV–XLVIII.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 471
-
- Article
- Export citation
R. Suszko. Czy logika znów pod znakiem zapytania (Are there again doubts about the teaching of logic). Myśl filozoficzna, no. 1 (1955), pp. 229–234. - K. Szaniawski. Parę uwag w sprawie niesłusznej decyzji (Some remarks on an unjust decision). Myśl filozoficzna, no. 1 (1955), pp. 235–237. - M. Przełęcki. Jeszcze w sprawie logiki (Once again concerning logic). Myśl filozoficzna, no. 2 (1955), pp. 118–121. - J. Wróblewski. W sprawie wykładu logiki dla prawników (Concerning the course of logic for the students of law). Myśl filozoficzna, no. 3 (1955), pp. 110–116. - J. Gregorowicz. Kilka uwag w sprawie logiki dla prawników (Some remarks on logic for the students of law). Myśl filozoficzna, no. 4 (1955), pp. 171–173. - A. Grzegorczyk. Uwagi o nauczaniu logiki (Remarks concerning the teaching of logic). Myśl filozoficzna, no. 4 (1955), pp. 174–177. - A. Podgórecki. W sprawie błędów w nauczaniu logiki (Concerning errors in the teaching of logic). Myśl filozoficzna, nos. 5–6 (1955), pp. 244–256. - J. Giedymin. W sprawie sposobu nauczania logiki (Concerning ways of the teaching of logic). Myśl filozoficzna, no. 2 (1956), pp. 113–120. - T. Kotarbiński. Sprawa logiki w przededniu rozstrzygnięć (Forthcoming decisions about logical studies). Myśl filozoficzna, no. 2 (1956), pp. 121–125. - K. Ajdukiewicz. W sprawie programów logiki usługowej (Concerning curricula of logic as an auxiliary subject). Myśl filozoficzna, no. 2 (1956), pp. 126–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-224
-
- Article
- Export citation
V. S. Korolúk. O ponátii adrésnogo algoritma (On the concept of address algorithm). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1960), pp. 95–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
-
- Article
- Export citation
S. C. Kleene. Quantification of number-theoretic functions. Compositio mathematica, vol. 14 no. 1 (1959), pp. 23–40.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 82
-
- Article
- Export citation
Luis Elpidio Sanchis. Nueva demostración de la completicidad funcional del cálculo proposicional bivalente. Notre Dame journal of formal logic, vol. 2 (1961), pp. 33–40.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 471
-
- Article
- Export citation
A. Borgers. La méthode axiomatique et la logique symbolique. Mathématiques du XXe siècle, vol. 1 (1960), pp. 25–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
-
- Article
- Export citation
N. V. Bélákin. Univérsal′nost′ vyčéslitél′noj mašiny s poténcial′no béskonéčnoj vnéšnéj památ′ú (The universality of a computing machine with potentially infinite exterior memory). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1961), pp. 77–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
-
- Article
- Export citation
S. C. Kleene. Recursive functionals and quantifiers of finite types I. Transactions of the American Mathematical Society, vol. 91 (1959), pp. 1–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
-
- Article
- Export citation
Norwood Russell Hanson. The Gödel theorem. An informal exposition. Notre Dame journal of formal logic, vol. 2 (1961), pp. 94–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 471-472
-
- Article
- Export citation
A. Borgers. La théorie des ensembles. Mathématiques du XXe siècle, vol. 1 (1960), pp. 35–43.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
-
- Article
- Export citation