Contents
Reviews
A. N. Prior. Formal logic. Oxford at the Clarendon Press, London1955, ix + 329 pp. - A. N. Prior. Formal logic. Second edition. Oxford at the Clarendon Press, London1962, xi + 341 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-220
-
- Article
- Export citation
Ettore Casari. Lineamenti di logica matematica. Giangiacomo Feltrinelli Editore, Milano 1959. Seconda edizione, 1960, 323 pp. Terzà edizione, 1961, 323 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
-
- Article
- Export citation
Reviews - Günter Asser. Turing-Maschinen und Markowsche Algorithmen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 346–365.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-468
-
- Article
- Export citation
A. Grzegorczyk. An example of two weak essentially undecidable theories F and F*. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 (1962), pp. 5–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 358
-
- Article
- Export citation
Mark Fischer. A system of deontic-alethic modal logic. Mind, n.s. vol. 71 (1962), pp. 231–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
-
- Article
- Export citation
Joseph Dopp. Essai d'une présentation de la logique combinatoire. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 183–201.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
-
- Article
- Export citation
Shôji Maehara and Gaisi Takeuti. A formal system of first-order predicate calculus with infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 357–370.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
-
- Article
- Export citation
S. C. Kleene. Countable functionals. Constructivity in mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 81–100. - S. C. Kleene. Recursive functionals of higher finite types. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton1960, pp. 148–154.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-360
-
- Article
- Export citation
Paul R. Halmos. The representation of monadic Boolean algebras. Duke mathematical journal, vol. 26 (1959), pp. 447–454. Reprinted in Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 75–82.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-469
-
- Article
- Export citation
Hao Wang. The axiomatization of arithmetic. The journal of symbolic logic, vol. 22 (1957), pp. 145–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
-
- Article
- Export citation
Juan David García Bacca. Planes de lógica juridica. Studia iuridica (Caracas), no. 2 (1958), pp. 13–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
-
- Article
- Export citation
N. M. Nagornyj. Nékotoryé obobščénia ponátiá normaľnogo algorifma, (Some generalizations of the concept of normal algorithm). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin. Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatéľstvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 7–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-362
-
- Article
- Export citation
Paul R. Halmos. Free monadic algebras. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 219–227. Reprinted in Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 85–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
-
- Article
- Export citation
V. K. Détlovs. Ékvivaleninost′ normal'nyh algorifmov i rékursivnyh funkcij (The equivalence of normal algorithms and recursive functions). Problémy konstruktivnogo napravléniá v matematike, 1, Sbornik rabot, edited by N. A. Šanin. Trudy Maté-matičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatéľstvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 75–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
-
- Article
- Export citation
Alan Pasch. Experience and the analytic. A reconsideration of empiricism. The University of Chicago Press, Chicago1958, xvii + 275 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
-
- Article
- Export citation
S. C. Kleene. Mathematical logic: Constructive and non-constructive operations. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 137–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
Paul R. Halmos. The basic concepts of algebraic logic. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 9–33. - Paul R. Halmos. Algebraic logic, I. Monadic Boolean algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 37–72. - Paul R. Halmos. Algebraic logic, II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 97–166. - Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 169–209. - Paul R. Halmos. Algebraic logic, IV. Equality in polyadic algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 213–239. - Paul R. Halmos. Polyadic Boolean algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 243–248. - Paul R. Halmos. Predicates, terms, operations, and equality in polyadic Boolean algebras. Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 251–257.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
-
- Article
- Export citation
Ú. I. Ánov. O logičéskih shémah algoritmov (On logical schemata of algorithms). Problémy kibérnétiki, vol. 1 (1958), pp. 75–127.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
-
- Article
- Export citation
G. Kreisel. Ordinal logics and the characterization of informal concepts of proof. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 289–299.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
Setsuo Saito. Circular definitions and analyticity. Inquiry (Oslo), vol. 5 (1962), pp. 158–162.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
-
- Article
- Export citation