Contents
Reviews
Frederic B. Fitch. A theory of logical essences. The monist, vol. 51 (1967), pp. 104–109. - Frederic B. Fitch. A complete and consistent modal set theory. The journal of symbolic logic, vol. 32 (1967), pp. 93–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
-
- Article
- Export citation
Alan Rose. An extension of a theorem of Margaris. The journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 209–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
Michael Arbib and Manuel Blum. Machine dependence of degree of difficulty. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 442–447.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
-
- Article
- Export citation
B. G. Mirkin. O ázyké psévdorégulárnyh vyrazénij (On a language of pseudo-regular expressions). Kibérnétika (Kiev), no. 6 (1966), pp. 8–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 658
-
- Article
- Export citation
B. M. Kloss. K oprédéléniú složnosti algoritmov. Doklady Akademii Nauk SSSR, vol. 157 (1964), pp. 38–40. - B. M. Kloss. The definition of complexity of algorithms. English translation of the preceding by S. L. Bloom. Soviet Mathematics, vol. 5 no. 4 (1964), pp. 880–882.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 509
-
- Article
- Export citation
Takeo Sugihara. The numbers of modalities in T supplemented by the axiom CL2pL3p. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 407–408.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
M. Greniewski. Algebry (m + n)-elementowe i ich zastosowania do układów przekaźnikowo-stykowych ((m + n)-element algebras and their applications to relay-contact systems). Polish, with Russian and English summaries. Zastosowania matematyki, vol. 4 no. 2 (1958), pp. 142–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 658-659
-
- Article
- Export citation
Ü. L. Éršov. Razréšimost′ eléméntarnoj téorii distributivnyh struktur s otnositél′nyml dopolnéniámi i téorii fil′trov (Decidability of the elementary theory of relatively complemented distributive lattices and of the theory of filters). Algébra i logika, Séminar, vol. 3 no. 3 (1964) pp. 17–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
-
- Article
- Export citation
Stig Kanger. The Morning Star Paradox. Theoria (Lund), vol. 23 (1957), pp. 1–11. - Stig Kanger. A note on quantification and modalities. Theoria (Lund), vol. 23 (1957), pp. 133–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-306
-
- Article
- Export citation
E. W. Beth. On machines which prove theorems. Simon Stevin, vol. 32 (1958), pp. 49–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
-
- Article
- Export citation
C. C. Elgot. Decision problems of finite automata design and related arithmetics. Transactions of the American Mathematical Society, vol. 98 (1961), pp. 21–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-510
-
- Article
- Export citation
A. Grzegorczyk, A. Mostowski, and C. Ryll-Nardzewski. Definability of sets in models of axiomatic theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 163–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
-
- Article
- Export citation
L. Kalmár. A practical infinitistic computer. 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-Paris, 1961, pp. 347–362.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 510
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-662
-
- Article
- Export citation
Reviews
E. J. Lemmon. Symposium: Is there only one correct system of modal logic? I.Aristotelian Society supplementary volume XXXIII, London1959, pp. 23–40. - G. P. Henderson. Is there only one correct system of modal logic? II. Aristotelian Society supplementary volume XXXIII, London1959, pp. 41–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
Robert L. Vaught. On a theorem of Cobham concerning undecidable theories. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 14–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
-
- Article
- Export citation
Gr. C. Moisil. Scheme cu comandă directă cu contacte şi relee (Relay contact circuits under direct control). Monografii asupra teoriei algebrice a mecanismelor automate. Editura Academiei Republicii Populare Romîne, Bucharest1959, 205 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-511
-
- Article
- Export citation
A. Ehrenfeucht. Separable theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 17–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
P. Destouches-Février. Sur l'intuitionnisme et la conception strictement constructive. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 80–86; also Indagationes mathematicae, vol. 13 (1951), pp. 80-86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
-
- Article
- Export citation
Other
Fellowship and research opportunities in the Mathematical Sciences
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
-
- Article
- Export citation