Research Article
Theories with models of prescribed cardinalities1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-253
-
- Article
- Export citation
Reviews
J. Jay Zeman. Modal logic. The Lewis-modal systems. Clarendon Press, Oxford1973, x + 302 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 581
-
- Article
- Export citation
E. J. Neuhold. Formal properties of data bases. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 119–177.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-422
-
- Article
- Export citation
Research Article
Skolem functions and elementary embeddings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-98
-
- Article
- Export citation
Reviews
Daniel Gallin. Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol. 19. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, ix + 148 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 581-583
-
- Article
- Export citation
Research Article
A note on the number of zeros of polynomials and exponential polynomials
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-106
-
- Article
- Export citation
Reviews
M. S. Paterson. Complexity of matrix algorithms. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 179–215.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
-
- Article
- Export citation
Research Article
Minimal models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-260
-
- Article
- Export citation
Reviews
A. Bertoni. Mathematical methods of the theory of stochastic automata. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 9–22. - R. V. Freivald. Functions computable in the limit by probabilistic machines. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 77–87. - B. Goetze and R. Klette. Some properties of limit recursive functions. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 88–90. - Ole-Johan Dahl. An approach to correctness proofs of semicoroutines. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 157–174. - G. Wechsung. The axiomatization problem of a theory of linear languages. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 298–302. - L. Banachowski. Modular approach to the logical theory of programs. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 327–332. - Pierangelo Miglioli. Mathematical foundations of motivation languages and synthesis maps. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, edited by A. Blikle, Lecture notes in computer science, vol. 28, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 388–408. - H. Rasiowa. ω+-valued algorithmic logic as a tool to investigate procedures. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974, pp. 423–450. - Andrzej Salwicki. Procedures, formal computations and models. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974 pp. 464–484.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 422-423
-
- Article
- Export citation
Arto Salomaa. Formal languages. ACM monograph series. Academic Press, New York, San Francisco, and London, 1973, xiii + 322 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 583-584
-
- Article
- Export citation
Research Article
Compactness and transfer for a fragment of L2
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-268
-
- Article
- Export citation
Reviews
Logic - Wesley C. Salmon. Logic. Second, enlarged and revised, edition of XXIX 89. Foundations of philosophy series. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1973, x + 150 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
-
- Article
- Export citation
Robert Baum. Logic. Holt, Rinehart and Winston, Inc., New York, etc., 1975, xii + 516 pp. - David T. Wieck. Quantificational logic. Therein, pp. 238–281.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 424-425
-
- Article
- Export citation
Research Article
Craig interpolation theorem for intuitionistic logic and extensions Part III
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-271
-
- Article
- Export citation
Reviews
Logic in algebraic form. Three languages and theories - William Craig. Logic in algebraic form. Three languages and theories. Studies in logic and the foundations of mathematics, vol. 72. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, viii + 204 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
-
- Article
- Export citation
Henry J. Ehlers. Logic: modern and traditional. Charles E. Merrill Publishing Company, Columbus, Ohio, 1976, viii + 245 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 584-585
-
- Article
- Export citation
George Boolos and Richard Jeffrey. Computability and logic. Cambridge University Press, New York and London1974, x + 262 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 585-586
-
- Article
- Export citation
M. J. Cresswell. Logics and languages. Methuen & Co Ltd, London1973, xi + 273 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 425-426
-
- Article
- Export citation
Combinatory logic - Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London1972, XIV + 520 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
-
- Article
- Export citation
Research Article
Chang's conjecture and powers of singular cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-276
-
- Article
- Export citation