13629 results in The Journal of Symbolic Logic
Czesław Lejewski. A re-examination of the Russellian theory of descriptions. Philosophy, vol. 35 (1960), pp. 14–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
- Print publication:
- March 1975
-
- Article
- Export citation
Notice of a meeting of the association for symbolic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- March 1975
-
- Article
- Export citation
Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
- Print publication:
- March 1975
-
- Article
- Export citation
Richard Sharvy. Things. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 164–180. (Reprinted from The monist, vol. 53 (1969), pp. 488–504.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. The concept of effective method applied to computational problems of linear algebra. Journal of computer and system sciences, vol. 5 (1971), pp. 17–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1975
-
- Article
- Export citation
Thomas J. Grilliot. Omitting types: application to recursion theory. The journal of symbolic logic, vol. 37 (1972), pp. 81–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1975
-
- Article
- Export citation
Descending sequences of degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-61
- Print publication:
- March 1975
-
- Article
- Export citation
J. R. Shoenfield. Measurable cardinals. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 19–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-94
- Print publication:
- March 1975
-
- Article
- Export citation
Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 47–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1975
-
- Article
- Export citation
Alexander Abian. On the solvability of infinite systems of Boolean polynomial equations. Colloquium mathematicum, vol. 21 (1970), pp. 27–30. - Alexander Abian. Generalized completeness theorem and solvability of systems of Boolean polynomial equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 263–264. - Paul D. Bacsich. Injectivity in model theory. Colloquium mathematicum, vol. 25 (1972), pp. 165–176. - S. Bulman-Fleming. On equationally compact semilattices. Algebra universalis (Basel), vol. 2 no. 2 (1972), pp. 146–151. - G. Grätzer and H. Lakser. Equationally compact semilattices. Colloquium mathematicum, vol. 20 (1969), pp. 27–30. - David K. Haley. On compact commutative Noetherian rings. Mathematische Annalen, vol. 189 (1970), pp. 272–274. - Ralph McKenzie. ℵ1-incompactness of Z. Colloquium mathematicum, vol. 23 (1971), pp. 199–202. - Jan Mycielski. Some compactifications of general algebras. Colloquium mathematicum, vol. 13 no. 1 (1964), pp. 1–9. See Errata on page 281 of next paper. - Jan Mycielski and C. Ryll-Nardzewski. Equationally compact algebras II. Fundamenta mathematicae, vol. 61 (1968), pp. 271–281. Errata, Fundamenta mathematicae, vol. 62 (1968), p. 309. - L. Pacholski and B. Wȩglorz. Topologically compact structures and positive formulas. Colloquium mathematicum, vol. 19 (1968), pp. 37–42. - B. Wȩglorz. Compactness of algebraic systems. Bulletin de l'Academie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 705–706. - B. Wȩglorz. Equationally compact algebras(I). Fundamenta mathematicae, vol. 59 (1966), pp. 289–298. - B. Wȩglorz. Equationally compact algebras (III). Fundamenta mathematicae, vol. 60 (1967), pp. 89–93. - B. Wȩglorz. Completeness and compactness of lattices. Colloquium mathematicum, vol. 16 (1967), pp. 243–248. - B. Wȩglorz and A. Wojciechowska. Summability of pure extensions of relational structures. Colloquium mathematicum, vol. 19 (1968), pp. 27–35. - Günter H. Wenzel. Subdirect irreducibility and equational compactness of unary algebras 〈A; f〉. Archiv der Mathematik, vol. 21 (1970), pp. 256–264. - Günter H. Wenzel. On -atomic compact relational systems. Mathematische Annalen, vol. 194 (1971), pp. 12–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-92
- Print publication:
- March 1975
-
- Article
- Export citation
On partitions into stationary sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-80
- Print publication:
- March 1975
-
- Article
- Export citation
John L. Pollock. Introduction to symbolic logic. Holt, Rinehart and Winston, Inc., New York, etc., 1969, xii + 241 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- March 1975
-
- Article
- Export citation
Lawvere's basic theory of the category of categories
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 14-18
- Print publication:
- March 1975
-
- Article
- Export citation
On models of arithmetic—Answers to two problems raised by H. Gaifman
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-47
- Print publication:
- March 1975
-
- Article
- Export citation
Skolem reduction classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-68
- Print publication:
- March 1975
-
- Article
- Export citation
G. Rousseau. Completeness in finite algebras with a single operation. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 1009–1013.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
- Print publication:
- March 1975
-
- Article
- Export citation
Corrado Böhm and Wolf Gross. Introduction to the CUCH. Automata theory, edited by E. R. Caianiello, Academic Press, New York and London1966, pp. 35–65. Reprinted in Pubblicazioni dell'Istituto Nazionale per le Applicazioni del Calcolo, ser. 11 no. 669, Rome 1966. - C. Böhm. The CUCH as a formal and description language. Formal language description languages for computer programming, Proceedings of the IFIP Working Conference on Formal Language Description Languages, edited by T. B. SteelJr., North-Holland Publishing Company, Amsterdam1966, pp. 179–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-83
- Print publication:
- March 1975
-
- Article
- Export citation
A. A. Markov. O logiké konstruktivnoj matématiki. Véstnik Moskovskogo Univérsiteta, Séria I, matématika, méhanika, no. 2 (1970), pp. 7–29. - A. A. Markov. On the logic of constructive mathematics. English translation of the preceding. Moscow University mathematics bulletin, vol. 25 (1970), pp. 45–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
- Print publication:
- March 1975
-
- Article
- Export citation
First-order definability in modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-40
- Print publication:
- March 1975
-
- Article
- Export citation
S. B. Cooper. Minimal degrees and the jump operator. The journal of symbolic logic, vol. 38 (1973), pp. 249–271.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
- Print publication:
- March 1975
-
- Article
- Export citation