Contents
Reviews
R. E. Krichevskii. Realization of functions by superpositions. English translation of XXXVII 639 by G. R. Kiss. Problems of cybernetics, vol. 2 (1961), pp. 458–477.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 626-627
-
- Article
- Export citation
T. G. McLaughlin. A theorem on productive functions. Proceedings of the American Mathematical Society, vol. 14 (1963), p. 444.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 196
-
- Article
- Export citation
D. Rödding. Klassen rekursiver Funktionen. Proceedings of the summer school in logic, Leeds, 1967, herausgegeben von M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, und New York, 1968, S. 159–222.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 196
-
- Article
- Export citation
V. I. Kolpakov. Océnka čisla pokrytij n-mérnogo kuba (Estimate of the number of covers of the n-dimensional cube). Diskrétnyj analiz, no. 14 (1969), pp. 16–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
Joseph S. Ullian. Partial algorithm problems for context free languages. Information and control, vol. 11 (1967), pp. 80–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 196-197
-
- Article
- Export citation
P. Naslin. Circuits à relais et automatismes à séquences. Dunod, Paris1958, XII + 229 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
Seymour Ginsburg, Thomas N. Hibbard, and Joseph S. Ullian. Sequences in context free languages. Illinois journal of mathematics, vol. 9 (1965), pp. 321–337.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
P. Naslin. Circuits logiques et automatismes à séquences. Deuxième édition, entièrement refondue. Dunod, Paris1965, XVIII + 476 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
F. A. Kabakov. O modélirovanii po réalizuémosti psévdobulévyh algébr. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 16–18. - F. A. Kabakov. On modelling of pseudo-Boolean algebras by realizability. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 562–564.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
-
- Article
- Export citation
Erwin Engeler. Algorithmic properties of structures. Mathematical systems theory, vol. 1 (1967), pp. 183–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
A. Markov. O nérazréšimosti nékotoryh problém topologii (On the unsolvability of some problems in topology). Doklady Akadémii Nauk SSSR, vol. 123 (1958), pp. 978–980.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
J. Ridder. Über modale Aussagenlogiken und ihren Zusammenhang mit Strukturen. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 (1952), pp. 213–223, 459–467; vol. 56 (1953), pp. 1–11, 99–110, 378–388; vol. 57 (1954), pp. 2–8, 117–128, 389–396; also Indagationes mathematicae, vol. 14 (1952), pp. 213–223, 459–467; vol. 15 (1953), pp. 1–11, 99–110, 378–388; vol. 16 (1954), pp. 2–8, 117–128, 389–396.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 628
-
- Article
- Export citation
Carlos E. Alchourrón. Logic of norms and logic of normative propositions. Logique et analyse, n.s. vol. 12 (1969), pp. 242–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-629
-
- Article
- Export citation
Joseph Harrison. Recursive pseudo-well-orderings. Transactions of the American Mathematical Society, vol. 131 (1968), pp. 526–543.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-198
-
- Article
- Export citation
M. K. Rennie. On postulates for temporal order. The monist, vol. 53 (1969), pp. 457–468.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 629
-
- Article
- Export citation
N. V. Belyakin. A certain class of Türing machines. English translation of XXXVII 211. Soviet physics, Doklady, vol. 8 no. 1 (1963), pp. 3–4.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 198
-
- Article
- Export citation
Charles K. CobbJr., and Daniel P. Thompson. Law, logic, and rationality. Jurimetrics journal, vol. 11 no. 1 (1970), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
-
- Article
- Export citation
N. V. Bélákin. Vyčislénié efféktivnyh opératorov na mašinah T'úringa s ograničénnym stiraniém (Computation of effective operators on Turing machines with restricted erasure). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 19–23.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 198
-
- Article
- Export citation
N. V. Bélákin. Modélirovanié mašin T'úringa na sétkah (Simulation of Turing machines on nets). Diskrétnyj analiz, no. 1 (1963), pp. 32–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
-
- Article
- Export citation
Ron Klinger. The paradox of counter-conditional and its dissolution. Jurimetrics journal, vol. 11 no. 4 (1971), pp. 189–193.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
-
- Article
- Export citation