Contents
Reviews
Robert E. Clay. A standard form for Łukasiewicz many-valued logics. Notre Dame journal of formal logic, vol. 4 (1963), pp. 59–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
-
- Article
- Export citation
Heinz Zemanek. Automaten und Denkprozesse. German, with summaries in German, English, and French. Digitale Informationswandler — Digital information processors, edited by Friedr Walter Hoffmann. Vieweg & Sohn, Braunschweig, and Interscience Publishers, New York, 1962, pp. 1–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 382
-
- Article
- Export citation
Arto Salomaa. Some completeness criteria for sets of functions over a finite domain. II. Annales Universitatis Turkuensis, Series AI, no. 63. Turun Yliopisto, Turku1963, 19 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
-
- Article
- Export citation
Robert Vaught. The elementary character of two notions from general algebra. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 226–233.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
-
- Article
- Export citation
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
R. C. Lyndon. Existential Horn sentences. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 994–998.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 253
-
- Article
- Export citation
M. J. Ghazala Gazalé. Irredundant disjunctive and conjunctive forms of a Boolean function. IBM journal of research and development, vol. 1 (1957), pp. 171–176. - T. Rado. Comments on the presence function of Gazalé. IBM journal of research and development, vol. 6 (1962), pp. 268–269.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-109
-
- Article
- Export citation
A. D. Tajmanov. O klassé modéléj, zamknutom otnositél'no prámogo proizvédéniá (On a class of models, closed with respect to direct product). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 1173–1175. - A. D. Tajmanov. O klassé modéléj, zamknutyh otnositél'no prámogo proizvédéniá (On a class of models, closed with respect to direct product). Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 24 (1960), pp. 493–510.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
-
- Article
- Export citation
Á. I. Méklér. Uproščéskij algébraičskij métod sintéza réléjnyh shém (Simplified algebraic synthesis of relay circuits). Avtomatika i télémehanika, vol. 19 (1958), pp. 1129–1144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
-
- 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
A. N. Radčénko and V. I. Filippov. Sdvigaúščie régistry s logičéskoj obratnoj sváz'ú i ih ispol'zovanié v kačéstvé sčétnyh i kodiruúščih ustrojstv (Shift registers with logic feedback and their application as computers and code devices). Avtomatika i télémehanika, vol. 20 (1959), pp. 1507–1514.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
-
- 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
V. F. Kostyrko. Ob ošibké v stat'é I. I. Žégalkina, “Probléma razréšimosti na konéčnyh klassah” (On a mistake in the paper of Žégalkin “On the decision problem in finite classes”). Algébra i logika, Séminar (Novosibirsk), vol. 1 no. 5 (1962), pp. 31–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 254
-
- 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
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-112
-
- Article
- Export citation
Reviews
G. S. Céjtin. Associativnoé isčslénié s nérazréšimoj problémoj ekvivaléntnosti (Associative calculus with unsolvable equivalence problem). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 172–189.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
-
- Article
- Export citation
Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Reviews
Alan Cobham. Some remarks concerning theories with recursively enumerable complements. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 72–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
-
- 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