Contents
Reviews
José de Jesús Martínez. Introducción la lógica moderna. Publicaciones del Instituto de Filosofía e Historia, Panama1962, 156 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
P. M. Cohn. Universal algebra. Harper & Row, Publishers, New York, Evanston, and London, 1965, xv + 333 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- Article
- Export citation
A. A. Fridman. Stépéni nérazréšimosti problémy toždéstva dlá konéčno-oprédélénnyh grupp (Degrees of unsolvability of the word problem for finitely defined groups). Izdatél′stvo “Nauka,”Moscow1967, 193 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
-
- Article
- Export citation
Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 (1966), pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 (1968), pp. 389–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
-
- Article
- Export citation
A. B. Hutoréckij. O rékursivnom izomorfizmé (On recursive isomorphism). Algébra i logika, Séminar, vol. 4 no. 3 (1965), pp. 85–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
J. C. Shepherdson. Representability of recursively enumerable sets in formal theories. Archiv für mathematische Logik und Grundlagenforschung. vol. 5 nos. 3-4 (1960). pp. 119–127.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 38–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
M. T. Partis. Commutative partially ordered recursive arithmetics. Mathematica Scandinavica, vol. 13 (1963), pp. 199–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-118
-
- Article
- Export citation
H. Rasiowa. -lattices and constructive logic with strong negation. Fundamenta mathematicae, vol. 46 (1958), pp. 61–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
H. Rasiowa. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 234–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
-
- Article
- Export citation
Diana Brignole and Antonio Monteiro. Caractérisation des algèbres de Nelson par des égalités. Notas de lógica matematica, no. 20, Instituto de Matematica, Universidad Nacional del Sur, Bahia Blanca1964, 14 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 119
-
- Article
- Export citation
G. Kreisel. On weak completeness of intuitionistic predicate logic. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 139–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
-
- Article
- Export citation
Alan Ross Anderson and Nuel D. BelnapJr., Modalities in Ackermann's “rigorous implication.”The journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 107–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
-
- Article
- Export citation
Nuel D. BelnapJr., Entailment and relevance. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 144–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
-
- Article
- Export citation
T. Traczyk. On axioms and some properties of Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 (1962), pp. 509–512. - T. Traczyk. Axioms and some properties of Post algebras. Colloquium mathematicum, vol. 10 (1963), pp. 193–209. - T. Traczyk. A generalization of the Loomis-Sikorski theorem.Colloquium mathematicum, vol. 12 (1964), pp. 155–161.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
-
- Article
- Export citation
Alan Rose. Caractérisation, au moyen de la théorie des treillis, du calcul de propositions à foncteurs variables. Applications scientifiques de la logique mathématique, Actes du 2° 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, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 87–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
-
- Article
- Export citation
Luka Krnič. Tipy bazisov algébry logiki (Types of bases in the algebra of logic). Glasnik matematičko-fizìčki i astronomski, ser. 2 vol. 20 (1965), pp. 23–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
-
- Article
- Export citation
Eugen Mihăilescu. Forme normale in calcul propoziţiilor bivalente (Formes normales dans le calcul des propositions bivalentes). Roumanian, with Russian and French summaries. Buletin ştiinţific, Secţia de ştiinţe matematice şi fizice, vol. 8 (1956), pp. 297–327. - Eugen Mihăilescu. Recherches sur quelques systèmes du calcul des propositions. French, with Russian and English summaries. Analele Universitáţii C. I. Parkon (Bucharest), Seria Acta logica, vol. 1 (1958), pp. 173–185.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
-
- Article
- Export citation
Yasuyuki Imai and Kiyoshi Iséki. On axiom systems of propositional calculi. I. Proceedings of the Japan Academy, vol. 41 (1965), pp. 436–439. - Yoshinari Arai. On axiom systems of propositional calculi. II.Proceedings of the Japan Academy, vol. 41 (1965), pp. 440–442. - Yoshinari Arai. On axiom systems of propositional calculi. III.Proceedings of the Japan Academy, vol. 41 (1965), pp. 570–574. - Kiyoshi Iséki. On axiom systems ofpropositional calculi. IV.Proceedings of the Japan Academy, vol. 41 (1965), pp. 575–577. - Kiyoshi Iséki and Shôtarô Tanaka. On axiom systems of propositional calculi. V.Proceedings of the Japan Academy, vol. 41 (1965), pp. 661–662. - Shôtarô Tanaka. On axiom systems ofpropositional calculi. VI.Proceedings of the Japan Academy, vol. 41 (1965), pp. 663–666. - Yoshinari Arai and Kiyoshi Iséki. On axiom systems of propositional calculi. VII.Proceedings of the Japan Academy, vol. 41 (1965), pp. 667–669. - Shôtarô Tanaka. On axiom systems of propositional calculi. VIII.Proceedings of the Japan Academy, vol. 41 (1965), pp. 795–797. - Shôtarô Tanaka. On axiom systems of propositional calculi. IX.Proceedings of the Japan Academy, vol. 41 (1965), pp. 798–800. - Kiyoshi Iséki and Shôtarô Tanaka. On axiom systems of propositional calculi. X.Proceedings of the Japan Academy, vol. 41 (1965), pp. 801–802. - Kashiko Tanaka. On axiom systems of propositional calculi. XI.Proceedings of the Japan Academy, vol. 41 (1965), pp. 898–900. - Yoshinari Arai. On axiom systems of propositional calculi. XII.Proceedings of the Japan Academy, vol. 41 (1965), pp. 901–903. - Shôtarô Tanaka. On axiom systems of propositional calculi. XIII.Proceedings of the Japan Academy, vol. 41 (1965), pp. 904–907.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-124
-
- Article
- Export citation
R. H. Thomason and H. Leblanc. All or none: a novel choice of primitives for elementary logic. The journal of symbolic logic, vol. 32 (1967), pp. 345–351.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
-
- Article
- Export citation