13630 results in The Journal of Symbolic Logic
S. Mazur. Computable analysis, edited by A. Grzegorczyk and H. Rasiowa, Rozprawy matematyczne no. 33, Państwowe Wydawnictwo Naukowe, Warsaw1963, 111 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-150
- Print publication:
- March 1971
-
- Article
- Export citation
Weakly atomic-compact relational structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-140
- Print publication:
- March 1971
-
- Article
- Export citation
D. A. Clarke. Hierarchies of predicates of finite types. Memoirs of the American Mathematical Society, no. 51. American Mathematical Society, Providence 1964, 95 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
- Print publication:
- March 1971
-
- Article
- Export citation
Domenico Castaldo. Relazione fra le funzioni simmetriche in un algebra di Boole. La ricerca (Naples), vol. 10 ser. 2 (10-Dec. 1959), pp. 27–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
- Print publication:
- March 1971
-
- Article
- Export citation
Michael O. Rabin. A simple method for undecidability proofs and some applications. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 38–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
- Print publication:
- March 1971
-
- Article
- Export citation
Gustav Bergmann. Propositional functions. Analysis (Oxford), vol. 17 no. 2 (1956), pp. 43–48. - Edwin B. Allaire. Types and formation rules: a note on Tractatus 3.334. Analysis (Oxford), vol. 21 no. 1 (1960), pp. 14–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
- Print publication:
- March 1971
-
- Article
- Export citation
H. D. Sluga. Some remarks on deontics. Theoria (Lund), vol. 29 (1963), pp. 70–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
- Print publication:
- March 1971
-
- Article
- Export citation
Antonio Monteiro. Construction des algèbres de Nelson finies. Notas de lógica matemática no. 15, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca1964, 11 pp. (Reprinted from Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 359–362.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
- Print publication:
- March 1971
-
- Article
- Export citation
Louis Hjelmslev. Omkring sprogteoriens grundlæggelse. Festskrift udgivet af Københavns Universitet i anledning af Universitetets Aarsfest, 11 1943, Bianco Lunos Bogtrykkeri A/S, Copenhagen1943, pp. 3–113; also published separately by Ejnar Munksgaard, Copenhagen 1943. - Louis Hjelmslev. Prolegomena to a theory of language. Second, revised English translation of the preceding by Francis J. Whitfield. The University of Wisconsin Press, Madison1961, v + 144 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-154
- Print publication:
- March 1971
-
- Article
- Export citation
Carol R. Karp. Finite-quantifier equivalence. 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. 407–412.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 158
- Print publication:
- March 1971
-
- Article
- Export citation
David Rynin. The autonomy of morals. Mind, n.s. vol. 66 (1957), pp. 308–317. - R. F. Atkinson. The autonomy of morals. Analysis (Oxford), vol. 18 no. 3 (1958), pp. 57–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
- Print publication:
- March 1971
-
- Article
- Export citation
Hilary Putnam. Minds and machines. Minds and machines, edited by Alan Ross Anderson, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1964, pp. 72–97. (Reprinted fron Dimensions of mind, A symposium, edited by Sidney Hook, New York University Press, New York 1960, pp. 148–179.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
- Print publication:
- March 1971
-
- Article
- Export citation
Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. 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. 329–341.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
- Print publication:
- March 1971
-
- Article
- Export citation
A minimal pair of Π10 classes1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-78
- Print publication:
- March 1971
-
- Article
- Export citation
Janusz A. Brzozowski. Derivatives of regular expressions. Journal of the Association for Computing Machinery, vol. 11 (1964), pp. 481–494.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
- Print publication:
- March 1971
-
- Article
- Export citation
Wolfram Schwabhäuser. Über die Nichtdefinierbarkeit einiger Begriffe der hyperbolischen Geometrie mit elementaren Mitteln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 43–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1971
-
- Article
- Export citation
H. Ribeiro and R. Schwabauer. A remark on equational completeness. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 122–123.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
- Print publication:
- March 1971
-
- Article
- Export citation
Robert I. Soare. Recursion theory and Dedekind cuts. Transactions of the American Mathematical Society, vol. 140 (1969), pp. 271–294. - Robert I. Soare. Cohesive sets and recursively enumerable Dedekind cuts. Pacific Journal of mathematics, vol. 31 (1969), pp. 215–231.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- March 1971
-
- Article
- Export citation
J. Heidema and A. P. J. van der Walt. Contributions to the metamathematical theory of ideals. I. Domains with dense kernel. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 (1967), pp. 156–162; also Indagationes mathematicae, vol. 29 (1967), pp. 156–162. - J. Heidema. Contributions to the metamathematical theory of ideals. II. Metamathematical prime ideals and radicals. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, vol. 71 (1968), pp. 280–285; also ibid., vol. 30 (1968), pp. 280–285.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
- Print publication:
- March 1971
-
- Article
- Export citation
G. Kreisel. Gödel's intepretation of Heyting's arithmetic. 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. 125–133. - G. Kreisel. Relations between classes of constructive functional. 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. 292–302. - Georg Kreisel. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 101–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-171
- Print publication:
- March 1971
-
- Article
- Export citation