Contents
Reviews
L. Henkin. The representation theorem for cylindrical algebras. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 85–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
-
- Article
- Export citation
L. Henkin. La structure algébrique des théories matérmatiques. Collection de logique mathématique, série A. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1956, 52 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
-
- Article
- Export citation
K. Jaakko Hintikka. An application of logic to algebra. Mathematica scandinavica, vol. 2 (1954), pp. 243–246.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-217
-
- Article
- Export citation
A. Janiczak. Undecidability of some simple formalized theories. Nach dem Tode des Verf., von A. Mostowski und A. Grzegorczyk herausgegeben. Fundamenta mathematicae, Bd. 40 (1953), S. 131–139.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
-
- Article
- Export citation
Hartley Rogers Jr. Certain logical reduction and decision problems. Annals of mathematics, Bd. 64 (1956), S. 264–284.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
-
- Article
- Export citation
A. A. Mučnik. Nérazréšimost′ problémy svodimosti téorii algoritmov (Negative answer to the problem of reducibility of the theory of algorithms). Doklady Akadéimii Nauk SSSR, vol. 108 (1956), pp. 194–197.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-219
-
- Article
- Export citation
G. S. Céjtin. Associativnoé isčislénié s nérazréšimoj problémoj ekvivaléntnosti (An associative calculus with an unsolvable equivalence problem). Doklady Akadéimii Nauk SSSR, vol. 107 (1956), pp. 370–371.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 219
-
- Article
- Export citation
G. S. Céjtin. Otnositél′ǹo no problémy raspoznavaniá svojstv associativnyh isčislénij (Concerning the problem of recognizing properties of associative calculi). Doklady Akadéimii Nauk SSSR, vol. 107 (1956), pp. 209–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-220
-
- Article
- Export citation
V. A. Uspénskij. Sistémy péréčislimyh množéstv i ih numéracii (Systems of enumerable sets and their enumerations). Doklady Akadéimii Nauk SSSR, vol. 105 (1955), pp. 1155–1158.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 220
-
- Article
- Export citation
V. I. Šéstakov. O préobrazovanii monocikličéskoj poslédovatél′nosti v vozvratnuú (On the transformation of a periodic sequence into a recursive one). Doklady Akadéimii Nauk SSSR, vol. 105 (1955), vol. 98 (1954), pp. 541–544.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 220
-
- Article
- Export citation
V. I. Šéstakov. Algébraičéskij métod sintéza mnogotaktnyh réléjnyh sistém (An algebraic method for the synthesis of switching circuits). Doklady Akadéimii Nauk SSSR, vol. 99 (1954), pp. 987–990.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
-
- Article
- Export citation
Kurt Bing. On simplifying truth-functional formulas. The journal of symbolic logic, vol. 21 (1956), pp. 253–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
-
- Article
- Export citation
W. Mays. The first circuit for an electrical logic-machine. Science, vol. 118 (1953), pp. 281–282.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
-
- Article
- Export citation
Robert McNaughton. Logical and combinatorial problems in computer design. Computers and automation (Newtonville, Mass.), vol. 6 no. 1 (1957), pp. 30–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 222
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-224
-
- Article
- Export citation
Front matter
JSL volume 22 issue 2 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
-
- Article
-
- You have access
- Export citation