Reviews
Fred Galvin. Horn sentences. Annals of mathematical logic, vol. 1 no. 4 (1970), pp. 389–422.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 651
-
- Article
- Export citation
R. MacDowell and E. Specker. Modelle der Arithmetik. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 257–263.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
-
- Article
- Export citation
K. Příkrý. The consistency of the continuum hypothesis for the first measurable cardinal. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 193–197.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
-
- Article
- Export citation
F. R. Drake. On weak cardinal powers in generic extensions. Fundamenta mathematicae, vol. 66 no. 2 (1970), pp. 219–222.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
-
- Article
- Export citation
Ulrich Felgner. Comparison of the axioms of local and universal choice. Fundamenta mathematicae, vol. 71 no. 1 (1971), pp. 43–62. - Andrzej Mostowski. Models of second order arithmetic with definable Skolem functions. Fundamenta mathematicae, vol. 75 no. 3 (1972), pp. 223–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-653
-
- Article
- Export citation
Yiannis N. Moschovakis. The game quantifier. Proceedings of the American Mathematical Society, vol. 31 (1972), pp. 245–250.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
Thomas J. Grilliot. Selection functions for recursive functionals. Notre Dame journal of formal logic, vol. 10 (1969), pp. 225–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-654
-
- Article
- Export citation
Thomas J. Grilliot. Inductive definitions and computability. Transactions of the American Mathematical Society, vol. 158 (1971), pp. 309–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
J. Myhill. Category methods in recursion theory. Pacific journal of mathematics, vol. 11 (1961), pp. 1479–1486.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
Marian Boykan Pour-El. Independent axiomatization and its relation to the hypersimple set. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), pp. 449–456.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-655
-
- Article
- Export citation
Frank B. Cannonito and Mark Finkelstein. On primitive recursive permutations and their inverses. The journal of symbolic logic, vol. 34 (1969), pp. 634–638.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
A. N. Kolmogorov and V. A. Uspeńskij. K oprédéléniú algoritma (On the definition of an algorithm). Uspéhi matématičéskih nauk, vol. 13 no. 4 (1958), pp. 3–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 655
-
- Article
- Export citation
V. A. Kozmidiadi and S. S. Marčénkov. O mnogogolouočnyh automatah (On multi-head automata). Problémy kibérnétiki, vol. 21 (1969), pp. 127–158. See Errata, V. A. Kozmidiadi and S. S. Marčénkov. O mnogogolouočnyh automatah (On multi-head automata). Problémy kibérnétiki, vol. 22 (1970), p. 299.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
-
- Article
- Export citation
Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by A. J. H. Morrell, North-Holland Publishing Company, Amsterdam 1969, pp. 269–275.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 656
-
- Article
- Export citation
L. A. Zadeh. Fuzzy sets. Information and control, vol. 8 (1965), pp. 338–353. - L. A. Zadeh. Similarity relations and fuzzy orderings. Information sciences, vol. 3 (1971), pp. 177–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-657
-
- Article
- Export citation
B. Rotman. Boolean algebras with ordered bases. Fundamenta mathematicae, vol. 75 no. 2 (1972), pp. 187–197.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 658
-
- Article
- Export citation
Yap Hian Poh. Postulational study of an axiom system of Boolean algebra. Majallah Tahunan 'Ilmu Pasti—Shu Hsüeh Nien K'an—Bulletin of Mathematical Society of Nanyang University (1960), pp. 94–110. - R. M. Dicker. A set of independent axioms for Boolean algebra. Proceedings of the London Mathematical Society, ser. 3 vol. 13 (1963), pp. 20–30. - P. J. van Albada. A self-dual system of axioms for Boolean algebra. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A vol. 67 (1964), pp. 377–381; also Indagationes mathematicae, vol. 26 (1964), pp. 377–381. - Antonio Diego and Alberto Suárez. Two sets of axioms for Boolean algebras. Portugaliae mathematica, vol. 23 nos. 3–4 (for 1964, pub. 1965), pp. 139–145. (Reprinted from Notas de lógica matemática no. 16, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca 1964, 13 pp.) - P. J. van Albada. Axiomatique des algèbres de Boole. Bulletin de la Société Mathématique de Belgique, vol. 18 (1966), pp. 260–272. - Lawrence J. Dickson. A short axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 6 (1967), pp. 253–257. - Leroy J. Dickey. A shorter axiomatic system for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 8 (1968), p. 336. - Chinthayamma . Independent postulate sets for Boolean algebra. Pi Mu Epsilon journal, vol. 4 no. 9 (1968), pp. 378–379. - Kiyoshi Iséki. A simple characterization of Boolean rings. Proceedings of the Japan Academy, vol. 44 (1968), pp. 923–924. - Sakiko Ôhashi. On definitions of Boolean rings and distributive lattices. Proceedings of the Japan Academy, vol. 44 (1968), pp. 1015–1017.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 658-660
-
- Article
- Export citation
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 57–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 660
-
- Article
- Export citation
W. W. Tait. The substitution method. The journal of symbolic logic, Bd. 30 (1965), S. 175–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 660
-
- Article
- Export citation
Dean P. McCullough. Logical connectives for intuitionistic propositional logic. The journal of symbolic logic, vol. 36 (1971), pp. 15–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
-
- Article
- Export citation