13630 results in The Journal of Symbolic Logic
Generalized interpolation theorems
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-351
- Print publication:
- June 1972
-
- Article
- Export citation
Sufficient conditions for the undecidability of intuitionistic theories with applications1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-384
- Print publication:
- June 1972
-
- Article
- Export citation
Benson Mates. Elementary lope. Second edition of XXXI 483. Oxford University Press, New York1972, xii + 237 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
- Print publication:
- June 1972
-
- Article
- Export citation
Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-292
- Print publication:
- June 1972
-
- Article
- Export citation
R. Engelking and K. Kuratowski. Quelques théorèmes de l'algèbre de Boole et leurs applications topologiques. Fundamenta mathematicae, vol. 50 (1962), pp. 519–535.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-400
- Print publication:
- June 1972
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 425-429
- Print publication:
- June 1972
-
- Article
- Export citation
S. R. Kogalovskij. Univérsal'nyé klassy modéléj (Universal classes of models). Doklady Akadémii Nauk SSSR, vol. 124 (1959), pp. 260–263. - Tadashi Ohkuma. Ultrapowers in categories. The Yokohama mathematical journal, vol. 14 nos. 1–2 (1966), pp. 17–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
- Print publication:
- June 1972
-
- Article
- Export citation
Michael A. Arbib. Theories of abstract automata. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1969, xiii + 412 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-413
- Print publication:
- June 1972
-
- Article
- Export citation
Rolf Schock. Contributions to syntax, semantics, and the philosophy of science. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 241–289.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 423
- Print publication:
- June 1972
-
- Article
- Export citation
Mariko Yasugi. Intuitionistic analysis and Gödel's interpretation. Journal of the Mathematical Society of Japan, vol. 15 (1963), pp. 101–112.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 404
- Print publication:
- June 1972
-
- Article
- Export citation
Louise Hay. Elementary differences between the isols and the co-simple isols. Transactions of the American Mathematical Society, vol. 127 (1967), pp. 427–441.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
- Print publication:
- June 1972
-
- Article
- Export citation
John Myhill. Note on degrees of partial functions. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 519–521.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
- Print publication:
- June 1972
-
- Article
- Export citation
David Crystal. Linguistics. Penguin Books Ltd., Harmondsworth, Middlesex, and Penguin Books, Inc., Baltimore, Maryland, 1971, 267 pp. - Frank Palmer. Grammar. Penguin Books Ltd., Harmondsworth, Middlesex, and Penguin Books, Inc., Baltimore, Maryland1971, 200 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 420
- Print publication:
- June 1972
-
- Article
- Export citation
Ramsey's theorem and recursion theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-280
- Print publication:
- June 1972
-
- Article
- Export citation
Paul W. Abrahams. Machine verification of mathematical proof. Mathematical algorithms, vol. 1 no. 2 (1966), pp. 11–32; vol. 1 no. 3 (1966), pp. 19–38; vol. 2 (1967), pp. 28–79; vol. 3 (1968), pp. 28–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 411-412
- Print publication:
- June 1972
-
- Article
- Export citation
JSL volume 37 issue 2 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
- Print publication:
- June 1972
-
- Article
-
- You have access
- Export citation
V. Kudielka and P. Oliva. Complete sets of functions of two and three binary variables. IEEE transactions on electronic computers, vol. EC-15 (1966), pp. 930–931.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
- Print publication:
- June 1972
-
- Article
- Export citation
General models, descriptions, and choice in type theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-394
- Print publication:
- June 1972
-
- Article
- Export citation
F. E. J. Linton. Injective Boolean σ-algebras. Archiv der Mathematik, vol. 17 (1966), pp. 383–387.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 400
- Print publication:
- June 1972
-
- Article
- Export citation
Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 (1962), pp. 394–402.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 411
- Print publication:
- June 1972
-
- Article
- Export citation