13630 results in The Journal of Symbolic Logic
John Cleave. The primitive recursive analysis of ordinary differential equations and the complexity of their solutions. Journal of computer and system sciences, vol. 3 (1969), pp. 447–455.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
- Print publication:
- June 1974
-
- Article
- Export citation
Diodorus Cronus. Time, truth and ability. Analysis (Oxford), vol. 25 no. 4 (1965), pp. 137–141. - Arthur W. Collins. On dating abilities and truths. Analysis (Oxford), vol. 26 no. 2 (1965), pp. 51–53. - Yehoshua Bar-Hillel. Et tu, Diodorus Cronus? Analysis (Oxford), vol. 26 no. 2 (1965), pp. 54–56. - Steven Cahn. An unanswered paradox. Analysis (Oxford), vol. 26 no. 6 (1966), pp. 203–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 365
- Print publication:
- June 1974
-
- Article
- Export citation
Abraham Robinson. Algebraic function fields and non-standard arithmetic. Contributions to non-standard analysis, edited by W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69, North-Holland Publishing Company, Amsterdam and London 1972, pp. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
- Print publication:
- June 1974
-
- Article
- Export citation
Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. 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, Amsterdam 1965, pp. 70–76.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 338
- Print publication:
- June 1974
-
- Article
- Export citation
F. William Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 (1963), pp. 869–872.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
- Print publication:
- June 1974
-
- Article
- Export citation
R. M. Solovay and S. Tennenbaum. Iterated Cohen extensions and Souslin's problem. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 201–245.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-330
- Print publication:
- June 1974
-
- Article
- Export citation
European Meeting of the Association for Symbolic Logic, Bristol, England, 1973
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-432
- Print publication:
- June 1974
-
- Article
- Export citation
Gerald E. Sacks. Recursion in objects of finite type. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 251–254.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
- Print publication:
- June 1974
-
- Article
- Export citation
Arthur N. Prior. The algebra of the copula. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst 1964, pp. 79–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
- Print publication:
- June 1974
-
- Article
- Export citation
Recursively presentable prime models
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-309
- Print publication:
- June 1974
-
- Article
- Export citation
Ralph McKenzie. Representations of integral relation algebras. The Michigan mathematical journal, vol. 17 (1970), pp. 279–287.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1974
-
- Article
- Export citation
Alan Rose. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 (1969), pp. 587–591.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
- Print publication:
- June 1974
-
- Article
- Export citation
Henry C. Byerly and Charles J. Merchant. New algorithms for the statement and class calculi. Notre Dame journal of formal logic, vol. 11 (1970), pp. 229–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
- Print publication:
- June 1974
-
- Article
- Export citation
A. Salwicki. Formalized algorithmic languages. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 (1970), pp. 227–232, XVII, XVII. - A. Salwicki. On the equivalence of FS-expressions and programs. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 (1970), pp. 275–278, XXI, XXI. - A. Salwicki. On the predicate calculi with iteration quantifiers. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 (1970), pp. 279–285, XXI, XXI.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-350
- Print publication:
- June 1974
-
- Article
- Export citation
Jean Dieudonné. Lógica y matemática. Revista de matemáticas elementales (Bogotá), vol. 2 (1953), pp. 1–7.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-358
- Print publication:
- June 1974
-
- Article
- Export citation
On projective ordinals1
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-282
- Print publication:
- June 1974
-
- Article
- Export citation
Herman Rubin and Patrick Suppes. A note on two-place predicates and fitting sequences of measure functions. The journal of symbolic logic, vol. 20 (1955), pp. 121–122.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- June 1974
-
- Article
- Export citation
Alan Ross Anderson memorial fund
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 370
- Print publication:
- June 1974
-
- Article
- Export citation
A. Grzegorczyk. Recursive objects in all finite types. Fundamenta mathematicae, vol. 54 (1964), pp. 73–93. - Haskell B. Curry. Combinatory recursive objects of all finite types. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 814–817.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- June 1974
-
- Article
- Export citation
Evandro Agazzi. La logica simbolica. Editrice La Scuola, Brescia 1964, 396 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
- Print publication:
- June 1974
-
- Article
- Export citation