Contents
Reviews
M. H. Löb. Solution of a problem of Leon Henkin. The journal of symbolic logic, vol. 20 (1955), pp. 115–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-529
-
- Article
- Export citation
L. W. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 166–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
-
- Article
- Export citation
J. A. Kalman. Equational completeness and families of sets closed under subtraction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 (1960), pp. 402–405; also lndagationes mathematieae, vol. 22 (I960), pp. 402–405.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation
Erwin Engeler. Zur Beweistheorie von Sprachen mit unendlich langen Formeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 213–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 685
-
- Article
- Export citation
G. Kreisel and A. Lévy. Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), pp. 97–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-532
-
- Article
- Export citation
H. Jerome Keisler. Logic with the quantifier “there exist uncountably many.”Annals of mathematical logic, vol. 1 no. 1 (1970), pp. 1–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 685-687
-
- Article
- Export citation
S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62(2). Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 289–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
-
- Article
- Export citation
Sherman K. Stein. Finite models of identities. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 216–222. - A. K. Austin. A note on models of identities. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 522–523.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-161
-
- Article
- Export citation
K. L. de Bouvère. A mathematical characterization of explicit definability. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 264–274; also Indagationes mathematicae, vol. 25 (1963), pp. 264–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 687
-
- Article
- Export citation
Claude E. Shannon. A universal Turing machine with two internal states. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 157–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 532
-
- Article
- Export citation
Mihály Makkai. On PCΔ-classes in the theory of models. English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 1–2 (1964), pp. 159–194. - M. Makkai. Remarks on my paper “On PCΔ-classes in the theory of models.” English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 3 (for 1964, pub. 1965), pp. 601–602.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
-
- Article
- Export citation
H. Ribeiro and R. Schwabauer. A remark on equational completeness. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 122–123.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
-
- Article
- Export citation
Yosmndo Suzuki. On the uniformization principle. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 137–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 687
-
- Article
- Export citation
Peter Freyd. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 107–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
-
- Article
- Export citation
Patrick C. Fischer. On formalisms for Turing machines. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 570–580. - Stål Aanderaa and Patrick C. Fischer. The solvability of the halting problem for 2-state Post machines. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 677–682. - Patrick C. Fischer. Quantificational variants on the halting problem for Turing machines. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 211–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-534
-
- Article
- Export citation
Tae-il Suh. Equationally complete non-associative algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 (1968), pp. 321–324; also Indagationes mathematicae, vol. 30 (1968), pp. 321–324.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
-
- Article
- Export citation
Yoshindo Suzuki. A complete classification of the -functions. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 246–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
-
- Article
- Export citation
F. William Lawvere. Algebraic theories, algebraic categories, and algebraic functors. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 413–418.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
-
- Article
- Export citation
Walter Oberschelp. Varianten von Turingmaschinen. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 53–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 534
-
- Article
- Export citation
A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 275–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
-
- Article
- Export citation