Contents
Reviews
Yehoshua Bar-Hillel. Preface. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. vii–viii. - Yehoshua Bar-Hillel. Introduction. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 1–16. - Yehoshua Bar-Hillel. On syntactical categories. A reprint of XV 220. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 19–37. - Yehoshua Bar-Hillel. Logical syntax and semantics. A reprint of XX 290. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 38–46. - Yehoshua Bar-Hillel. Idioms. A slightly revised reprint of XXIX 68. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 47–55. - Yehoshua Bar-Hillel. Intertranslatability of natural languages. A reprint of Section 2 of XX 192(6). Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 56–58. - Yehoshua Bar-Hillel. A quasi-arithmetical notation for syntactic description. A reprint of XX 193(1). Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 61–74. - Yehoshua Bar-Hillel. Some linguistic obstacles to machine translation. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 75–86. (Reprinted from Advances in computers, Volume 1, edited by Franz L. Alt, Academic Press, New York and London 1960, pp. 146–157.) - Yehoshua Bar-Hillel and Eliyahu Shamir. Finite-state languages: formal representations and adequacy problems. Language and information, Selected essays on their theory and application, by Yehoshua Bar-Hillel, Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, and The Jerusalem Academic Press Ltd., Jerusalem, Israel, 1964, pp. 87–98. (Reprinted from The bulletin of the Research Council of Israel, vol. 8F no. 3 (1960), pp. 155–166.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 382-385
-
- Article
- Export citation
G. W. Patterson. What is a code?Communications of the Association for Computing Machinery, vol. 3 no. 5 (1960), pp. 315–318.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 385
-
- Article
- Export citation
L. Henkin. A theory of propositional types. Fundamenta mathematicae, vol. 52 (1963), pp. 323–344. (See Errata, Fundamenta mathematicae, vol. 53 no. 1 (1963), p. 119.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 385
-
- Article
- Export citation
P. Andrews. A reduction of the axioms for the theory of propositional types. Fundamenta mathematicae, vol. 52 (1963), pp. 345–350.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 385
-
- Article
- Export citation
Hubert H. Schneider. Semantics of the predicate calculus with identity and the validity in the empty individual-domain. Portugaliae mathematica, vol. 17 (1958), pp. 85–96. - Hubert H. Schneider. A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains. Portugaliae mathematica, vol 20 (1961), pp. 105–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-386
-
- Article
- Export citation
László Kalmár. Another proof of the Gödel-Rosser incompletability theorem. Acta scientiarum mathetnaticarum (Szeged), Bd. 12A (1950), S. 38–43.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 386
-
- Article
- Export citation
Heinz Gumin und Hans Hermes. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4 (1956), S. 68–77; auch Archiv für Philosophie, Bd. 5 Heft 4 (1956), S. 388–397.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 386-387
-
- Article
- Export citation
Andrzej Grzegorczyk. Uzasadnianie aksjomatów teorii matematycznych (On the validation of the sets of axioms in mathematical theories). Polnisch mit russischer und englischer Zusammenfassung. Stadia logica, Bd. 13 (1962), S. 197–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 387
-
- Article
- Export citation
Andrzej Grzegorczyk. On the concept of categoricity. Englisch mit polnischer und russischer Zusammenfassung. Ebd., Bd. 13 (1962), S. 39–66. - A. Grzegorzyk. A kind of categoricity. Colloquium mathematicum, Bd. 9 Heft 2 (1962), S. 183–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-388
-
- Article
- Export citation
Solomon Feferman. Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society, Bd. 104 (1962), S. 101–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 388-389
-
- Article
- Export citation
J. C. Shepherdson. A non-standard model for a free variable fragment of number theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 12 (1964), pp. 79–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-390
-
- Article
- Export citation
Burton S. Dreben. Solvable Surányi subclasses: an introduction to the Herbrand theory. Proceedings of a Harvard symposium on digital computers and their applications, 3-6 April 1961, The annals of the Computation Laboratory of Harvard University, vol. 31, Harvard University Press, Cambridge, Mass., 1962, pp. 32–47.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-391
-
- Article
- Export citation
Richard Goldberg. On the solvability of a subclass of the Surányi reduction class. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 237–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
-
- Article
- Export citation
A. Nerode. A decision method for p-adic integral zeros of diophantine equations. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 513–517.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
-
- Article
- Export citation
S. I. Adán. Nérazréšimost′ nékotoryh algoritmičéskih problém térii grupp (Unsolvability of certain algorithmic problems in the theory of groups). Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 6 (1957), pp. 231–298.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
-
- Article
- Export citation
Raymond M. Smullyan. Creativity and effective inseparability. Transactions of the American Mathematical Society, vol. 109 (1963), pp. 135–145.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-392
-
- Article
- Export citation
Akiko Kino. A consistency-proof of a formal theory of Ackermann's ordinal numbers. Journal of the Mathematical Society of Japan, vol. 10 (1958), pp. 287–303.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 392
-
- Article
- Export citation
R. Sikorski. Distributivity and representability. Fundamenta mathematicae, vol. 48 no. 1 (1959), pp. 91–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-393
-
- Article
- Export citation
R. Sikorski. Repressentation and distributivity of Boolean algebras. Colloquium mathematicum, vol. 8 (1961), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
-
- Article
- Export citation
Carol R. Karp. A note on the representation of α-complete Boolean algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 705–707.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
-
- Article
- Export citation