13629 results in The Journal of Symbolic Logic
On certain types and models for arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-162
- Print publication:
- March 1974
-
- Article
- Export citation
William Tuthill Parry. The logic of C. I. Lewis. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 13, Open Court, La Salle, Ill., and Cambridge University Press, London, 1968, pp. 115–154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
- Print publication:
- March 1974
-
- Article
- Export citation
PCA well-orderings of the line
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-80
- Print publication:
- March 1974
-
- Article
- Export citation
H. Hiż. Grammar logicism. The mortist, vol. 51 (1967), pp. 110–127.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 180
- Print publication:
- March 1974
-
- Article
- Export citation
Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 71–89. - Mihail Cherciu. Filtres de Stone dans les treillis distributifs. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 91–97. - George Georgescu. Les algèbres de Lukasiewicz θ-valentes. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 99–169. - Ioana Petrescu. Algèbres de Morgan injectives. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 171–176. - Luminita State. Quelques propriétés des algebres de Morgan. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 195–207.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
- Print publication:
- March 1974
-
- Article
- Export citation
A hierarchy for the 1-section of any type two object
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-94
- Print publication:
- March 1974
-
- Article
- Export citation
Dennis F. Cudia and Wilson E. Singletary. The Post correspondence problem. The journal of symbolic logic, vol. 33 (1968), pp. 418–430. - Dennis F. Cudia and Wilson E. Singletary. Degrees of unsolvability in formal grammars. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 680–692.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-186
- Print publication:
- March 1974
-
- Article
- Export citation
Σ1 compactness for next admissible sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-116
- Print publication:
- March 1974
-
- Article
- Export citation
Index sets in Ershov's hierarchy1
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-104
- Print publication:
- March 1974
-
- Article
- Export citation
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property1
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-78
- Print publication:
- March 1974
-
- Article
- Export citation
S. Ú. Maslov. Ponátié strogoj prédstavimosti v obščej téorii isčislénij (The concept of strong representability in the general theory of calculi). Problémy konstruktivnogo napravléniá v matématiké, 4, Sbornik rabot, edited by V. P. Orévkov and N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 93, Izdatél'stvo “Nauka,” Leningrad1967, pp. 3–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
- Print publication:
- March 1974
-
- Article
- Export citation
Least upper bounds for minimal pairs of α-R.E. α-degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-56
- Print publication:
- March 1974
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Seattle 1973
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-203
- Print publication:
- March 1974
-
- Article
- Export citation
J. A. Robinson. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence1967, pp. 1–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
- Print publication:
- March 1974
-
- Article
- Export citation
Desmond Paul Henry. The truncation of truth-functional calculation. Notre Dame journal of formal logic, vol. 2 (1961), pp. 193–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
- Print publication:
- March 1974
-
- Article
- Export citation
Jean-Louis Krivine. Théorie axiomatique des ensembles. Presses Universitaires de France, Paris1969, 120 pp. - Jean-Louis Krivine. Introduction to axiomatic set theory. English translation of the preceding by David Miller. D. Reidel Publishing Company, Dordrecht, and Humanities Press, New York, 1971, VII + 100 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
- Print publication:
- March 1974
-
- Article
- Export citation
Kirby A. Baker. Equational axioms for classes of lattices. Bulletin of the American Mathematical Society, vol. 77 (1971), pp. 97–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
- Print publication:
- March 1974
-
- Article
- Export citation
Sets constructible from sequences of ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-66
- Print publication:
- March 1974
-
- Article
- Export citation
Nicholas Georgescu-Roegen. Concepts, numbers, and quality. Analytical economics, Issues and problems, by Nicholas Georgescu-Roegen, Harvard University Press, Cambridge, Mass., 1966, pp. 17–46. - Nicholas Georgescu-Roegen. The nature of expectation and uncertainty. Analytical economics, Issues and problems, by Nicholas Georgescu-Roegen, Harvard University Press, Cambridge, Mass., 1966, pp. 241–275. (Reprinted from Expectations, uncertainty, and business behavior, A conference held at Carnegie Institute of Technology, October 27–29,1955, under the auspices of the Committee on Business Enterprise Research, edited by Mary Jean Bowman, Social Science Research Council, New York 1958. pp. 11–29.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-169
- Print publication:
- March 1974
-
- Article
- Export citation
JSL volume 39 issue 1 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- March 1974
-
- Article
-
- You have access
- Export citation