Contents
Reviews
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
Manuel Blum. Recursive function theory and speed of computation. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 9 (1966), pp. 745–750.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
-
- Article
- Export citation
Manuel Blum. On the size of machines. Information and control, vol. 11 no. 3 (for 1967, pub. 1968), pp. 257–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-200
-
- Article
- Export citation
E. Shamir. On sequential languages and two classes of regular events. Introduction. Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung, vol. 16 (1963), pp. 389–390.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 200
-
- Article
- Export citation
E. Shamir. On sequential languages and two classes of regular events. Zeitschrift für Phonetik, Sprachwissenschaft und Kommunikationsforschung, vol. 18 (1965) pp. 61–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 200
-
- Article
- Export citation
J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 295–311.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-201
-
- Article
- Export citation
Andrzej Grzegorczyk. Axiomatizability of geometry without points. Synthese, vol. 12 nos. 2–3 (1960), pp. 228–233; also in The concept and role of the model in mathematics and natural and social sciences, Synthese Library, D. Reidel Publishing Company, Dordrecht 1961, pp. 104–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 201
-
- Article
- Export citation
Wanda Szmielew. New foundations of absolute geometry. 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. 168–175.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 201
-
- Article
- Export citation
Jon Barwise. Implicit definability and compactness in infinitary languages. The syntax and semantics of infinitary languages, edited by Jon Barwise, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 1–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-202
-
- Article
- Export citation
G. V. Čudnovskiǐ. Some results in the theory of infinitely long expressions. English translation of XXXVII 215 by E. Mendelson. Soviet mathematics, vol. 9 no. 2 (1968), pp. 556–559.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 202-203
-
- Article
- Export citation
Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag New York Inc., 1969, pp. 130–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-204
-
- Article
- Export citation
Other
Organization of the Society for Exact Philosophy
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
-
- Article
- Export citation
Front matter
JSL volume 37 issue 1 Cover and Front matter Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
-
- Article
-
- You have access
- Export citation