13629 results in The Journal of Symbolic Logic
B. Rotman. Boolean algebras with ordered bases. Fundamenta mathematicae, vol. 75 no. 2 (1972), pp. 187–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 658
- Print publication:
- December 1973
-
- Article
- Export citation
L. A. Zadeh. Fuzzy sets. Information and control, vol. 8 (1965), pp. 338–353. - L. A. Zadeh. Similarity relations and fuzzy orderings. Information sciences, vol. 3 (1971), pp. 177–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-657
- Print publication:
- December 1973
-
- Article
- Export citation
George Grätzer. Universal algebra. D. Van Nostrand Company, Inc., Princeton etc. 1968, xvi + 368 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 643-644
- Print publication:
- December 1973
-
- Article
- Export citation
J. Myhill. Category methods in recursion theory. Pacific journal of mathematics, vol. 11 (1961), pp. 1479–1486.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
- Print publication:
- December 1973
-
- Article
- Export citation
On complexity properties of recursively enumerable sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-593
- Print publication:
- December 1973
-
- Article
- Export citation
Historia Mathematica
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 670
- Print publication:
- December 1973
-
- Article
- Export citation
P. T. Geach. Aristotle on conjunctive propositions. Ratio (Oxford), vol. 5 no. 1 (1963), pp. 33–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-662
- Print publication:
- December 1973
-
- Article
- Export citation
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 57–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 660
- Print publication:
- December 1973
-
- Article
- Export citation
Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by A. J. H. Morrell, North-Holland Publishing Company, Amsterdam 1969, pp. 269–275.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 656
- Print publication:
- December 1973
-
- Article
- Export citation
John W. Rosenthal. A new proof of a theorem of Shelah. The journal of symbolic logic, vol. 37 (1972), pp. 133–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 649
- Print publication:
- December 1973
-
- Article
- Export citation
Axiom systems for first order logic with finitely many variables1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 576-578
- Print publication:
- December 1973
-
- Article
- Export citation
F. Waismann. Language strata. Logic and language (Second series), edited by A. G. N. Flew, Basil Blackwell, Oxford 1953, and Philosophical Library, New York 1953, pp. 11–31; also Logic and language (First and second series), edited and with introductions by Antony Flew, Doubleday Anchor Books, Doubleday & Company, Inc., Garden City, N.Y., 1965, pp. 226–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
- Print publication:
- December 1973
-
- Article
- Export citation
S. Shelah. Stable theories. Israel journal of mathematics, vol. 7 (1969), pp. 187–202. - Saharon Shelah. Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Annals of mathematical logic, vol. 3 no. 3 (1971), pp. 271–362.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 648-649
- Print publication:
- December 1973
-
- Article
- Export citation
Benson Mates. Elementary logic. Second edition of XXXI 483. Oxford University Press, New York 1972, xii + 237 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 647
- Print publication:
- December 1973
-
- Article
- Export citation
K. Příkrý. The consistency of the continuum hypothesis for the first measurable cardinal. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 193–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
- Print publication:
- December 1973
-
- Article
- Export citation
Thomas J. Grilliot. Inductive definitions and computability. Transactions of the American Mathematical Society, vol. 158 (1971), pp. 309–317.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
- Print publication:
- December 1973
-
- Article
- Export citation
Fred Galvin. Horn sentences. Annals of mathematical logic, vol. 1 no. 4 (1970), pp. 389–422.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 651
- Print publication:
- December 1973
-
- Article
- Export citation
V. A. Kozmidiadi and S. S. Marčénkov. O mnogogolouočnyh automatah (On multi-head automata). Problémy kibérnétiki, vol. 21 (1969), pp. 127–158. See Errata, V. A. Kozmidiadi and S. S. Marčénkov. O mnogogolouočnyh automatah (On multi-head automata). Problémy kibérnétiki, vol. 22 (1970), p. 299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-656
- Print publication:
- December 1973
-
- Article
- Export citation
J. R. Hindley, B. Lercher, and J. P. Seldin. Introduction to combinatory logic. London Mathematical Society lecture note series, no. 7, Cambridge at the University Press, London and New York1972, 170 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
- Print publication:
- September 1973
-
- Article
- Export citation
W. Craig. Analysis of first-order implications. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 175–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
- Print publication:
- September 1973
-
- Article
- Export citation