Reviews
L. Kalmár. Über arithmetische Funktionen von unendlich vielen Variablen, welche an jeder Stelle bloss von einer endlichen Anzahl von Variabeln abhängig sind. Colloquium mathematicum, vol. 5 no. 1 (1957), pp. 1–5.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
-
- Article
- Export citation
Frederic B. Fitch. Recursive functions in basic logic. The journal of symbolic logic, vol. 21 (1956), pp. 337–346.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
-
- Article
- Export citation
Robert W. Robinson. Simplicity of recursively enumerable sets. The journal of symbolic logic, vol. 32 (1967), pp. 162–172. - Robert W. Robinson. Two theorems on hyperhypersimple sets. Transactions of the American Mathematical Society, vol. 128 (1967), pp. 531–538. - A. H. Lachlan. On the lattice of recursively enumerable sets. Transactions of the American Mathematical Society, vol. 130 (1968), pp. 1–37. - A. H. Lachlan. The elementary theory of recursively enumerable sets. Duke mathematical journal, vol. 35 (1968), pp. 123–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-155
-
- Article
- Export citation
Dieter Titgemeyer. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 (1965), pp. 45–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-156
-
- Article
- Export citation
Joseph Barback. A note on regressive isols. Notre Dame journal of formal logic, vol. 7 (1966), pp. 203–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Joseph Barback. Double series of isols. Canadian journal of mathematics, vol. 19 (1967), pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
-
- Article
- Export citation
Joseph Barback. Regressive upper bounds. Rendiconti del Seminario Matematico della Università di Padova, vol. 39 (1967), pp. 248–272.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
-
- Article
- Export citation
Joseph Barback. An md-class of sets indexed by a regressive function. The journal of the Australian Mathematical Society, vol. 7 (1967), pp. 301–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
-
- Article
- Export citation
R. O. Gandy. Computable functionals of finite type I. 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, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
-
- Article
- Export citation
R. M. Baer. Certain directed Post systems and automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 151–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
-
- Article
- Export citation
R. Fréjvald. Složnost' raspoznavaniá simmétrii na mašinah T'uringa s vhodom (Complexity of recognition of symmetry on Turing machines with input). Algébra l logika, Séminar, vol. 4 no. 1 (1965), pp. 47–58. - Á. M. Barzdin'. Složnost' raspoznavaniá simmétrii na mašinah T'úringa (Complexity of recognition of symmetry on Turing machines). Problémy kibérnětiki, vol. 15 (1965), pp. 245–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 159
-
- Article
- Export citation
Peter B. Andrews. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 367–381. (See Correction, ibid., p. 720.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
-
- Article
- Export citation
Eric Foxley. Determination of the set of all four-variable formulae corresponding to universal decision elements using a logical computer. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 302–314.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation
Eric Foxley. The construction of scale-of-two mechanisms from universal decision elements. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 281–287.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation
H. H. LoomsJr. , and R. H. WymanJr. , On complete sets of logic primitives. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 173–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation
Michael A. Harrison. The number of transitivity sets of Boolean functions. Journal of the Society for Industrial and Applied Mathematics, t. 11 (1963), p. 806–828. - Michael A. Harrison. The number of equivalence classes of Boolean functions under groups containing negation. IEEE transactions on electronic computers, t. EC-12 (1963), p. 559–561. - Michael A. Harrison. On the number of classes of(n, k) switching networks. Journal of the Franklin Institute, t. 276 (1963), p. 313–327. - Michael A. Harrison. The number of classes of invertible Boolean functions. Journal of the Association for Computing Machinery, t. 10 (1963), p. 25–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-161
-
- Article
- Export citation
G. N. Povarov. O gruppovoj invariantnosti bulévyh funkcij (On the group invariance of Boolean functions). Priménénié logiki v nauké i téhnike (Application of logic in science and technology), Izdatél′stvo Akadémii Nauk SSSR, Moscow 1960, pp. 263–340.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
-
- Article
- Export citation
Ú. I. Žuravlév. Téorétiko-množéstvénnyé métody v algébré logiki (Set-theoretical methods in the algebra of logic). Problémy kibérnétiki, vol. 8 (1962), pp. 5–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
-
- Article
- Export citation
Layman E. Allen. Toward more clarity in business communication by modern logical methods. Management science, vol. 5 (1958), pp. 121–135. - Layman E. Allen. Toward a procedure for logically cataloguing knowledge. American documentation, vol. 10 (1959), pp. 296–315.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 162-164
-
- Article
- Export citation
Newton P. Stallknecht and Robert S. Brumbaugh. The spirit of western philosophy. A historical interpretation including selections from the major European philosophers, Longmans, Green and Co., New York, London, and Toronto, 1950, xxiii + 540 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
-
- Article
- Export citation