13630 results in The Journal of Symbolic Logic
Peter Achinstein. Theoretical terms and partial interpretation. The British journal for the philosophy of science, vol. 14 (1963–1964), pp. 89–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-322
- Print publication:
- June 1971
-
- Article
- Export citation
C. C. Chang and H. Jerome Keisler. Applications of ultraproducts of pairs of cardinals to the theory of models. Pacific journal of mathematics, vol. 12 (1962), pp. 835–845. - C. C. Chang. A note on the two cardinal problem. Proceedings of the American Mathematical Society, vol. 16 no. 6 (for 1965, pub. 1966), pp. 1148–1155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
- Print publication:
- June 1971
-
- Article
- Export citation
Infinitary analogs of theorems from first order model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-228
- Print publication:
- June 1971
-
- Article
- Export citation
J. McCarthy. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September 1962, edited by Cicely M. Popplewell, North-Holland Publishing Company, Amsterdam1963, pp. 21–28. - John McCarthy. Problems in the theory of computation. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume I, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 219–222.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
- Print publication:
- June 1971
-
- Article
- Export citation
Wayne Richter. Extensions of the constructive ordinals. The journal of symbolic logic, vol. 30 (1965), pp. 193–211. - Wayne Richter. Constructive transfinite number classes. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 261–265. - Wayne Richter. Constructively accessible ordinal numbers. The journal of symbolic logic, vol. 33 (1968), pp. 43–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
- Print publication:
- June 1971
-
- Article
- Export citation
Second Scandinavian Logic Symposium
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-384
- Print publication:
- June 1971
-
- Article
- Export citation
Aubert Daigneault. Freedom in polyadic algebras and two theorems of Beth and Craig. The Michigan mathematical journal, vol. 11 (1964), pp. 129–135. - Aubert Daigneault. On automorphisms of polyadic algebras. Transactions of the American Mathematical Society, vol. 112 (1964), pp. 84–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
- Print publication:
- June 1971
-
- Article
- Export citation
Tsutomu Hosoi. On intermediate logics. Journal of the Faculty of Science, University of Tokyo, section I, vol. 14 (1967), pp. 293–312, and vol. 16 (1969), pp. 1–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-330
- Print publication:
- June 1971
-
- Article
- Export citation
A logic stronger than intuitionism1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-261
- Print publication:
- June 1971
-
- Article
- Export citation
James G. ColbertJr., La evolución de la lógica simbólica y sus implicaciones filosóficas. Ediciones Universidad de Navarra, S.A., Pamplona1968, 341 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-325
- Print publication:
- June 1971
-
- Article
- Export citation
Some contrasts between degrees and the arithmetical hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-304
- Print publication:
- June 1971
-
- Article
- Export citation
Jiří Bečvář. Real-time and complexity problems in automata theory. English with Czech summary. Kybernetika (Prague), vol. 1 (1965), pp. 475–498.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
- Print publication:
- June 1971
-
- Article
- Export citation
C. G. McKay. The non-separability of a certain finite extension of Heyting's propositional logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 (1968), pp. 312–315; also Indagationes mathematica«, vol. 30 (1968), pp. 312–315.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
- Print publication:
- June 1971
-
- Article
- Export citation
Alfred B. Manaster. Rich co-ordinals, addition isomorphisms, and RETs. The journal of symbolic logic, vol. 34 (1969), pp. 45–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
- Print publication:
- June 1971
-
- Article
- Export citation
E. J. Ashworth. Propositional logic in the sixteenth and early seventeenth centuries. Notre Dame journal of formal logic, vol. 9 no. 2 (for 1968, pub. 1969), pp. 179–192. - E. J. Ashworth. Petrus Fonseca and material implication. Notre Dame journal of formal logic, vol. 9 no. 3 (for 1968, pub. 1969), pp. 227–228.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-324
- Print publication:
- June 1971
-
- Article
- Export citation
Natural well-orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-300
- Print publication:
- June 1971
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
- Print publication:
- June 1971
-
- Article
- Export citation
David Lewis. How to define theoretical terms. The journal of philosophy, vol. 67 (1970), pp. 427–446.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
- Print publication:
- June 1971
-
- Article
- Export citation
C. C. Chang. Logic with positive and negative truth values. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 19–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
- Print publication:
- June 1971
-
- Article
- Export citation
Marc Krasner. Les algèbres cylindriques. Bulletin de la Société Mathématique de France, vol. 86 (1958), pp. 315–319.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1971
-
- Article
- Export citation