13629 results in The Journal of Symbolic Logic
A. D. Tajmanov. Haraktéristika aksiomatiziruémyh klassov modélej. I. (Characterization of axiomatizable classes of models. I.) Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 25 (1961), pp. 601–620.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
- Print publication:
- March 1973
-
- Article
- Export citation
Notice of annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- March 1973
-
- Article
- Export citation
J. Donald Monk. Introduction to set theory. McGraw-Hill Book Company, New York, St. Louis, San Francisco, London, Sydney, Toronto, Mexico, and Panama, 1969, ix + 193 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
- Print publication:
- March 1973
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-174
- Print publication:
- March 1973
-
- Article
- Export citation
A. D. Tajmanov. Haraktéristika konéčno-aksiomatiziruémyh klassov modéléj. Sibirskij matématičéskij žurnal, vol. 2 (1961), pp. 759–766. - A. D. Tajmanov. Haraktéristika konéčno aksiomatiziruémyh klassov modéléj. Doklady Akadémii Nauk SSSS, vol. 138 (1961), pp. 67–69. - A. D. Taimanov. Characterization of finitely axiomatizable classes of models. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 3 (1961), pp. 552–554.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- March 1973
-
- Article
- Export citation
Newcomb Greenleaf. Fields in which varieties have rational points: a note on a problem of Ax. Proceedings of the American Mathematical Society, vol. 27 (1971), pp. 139–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
- Print publication:
- March 1973
-
- Article
- Export citation
Henry Albert Finch. An explication of counterfactuals by probability theory. Philosophy and phenomenological research, vol. 18 no. 3 (1958), pp. 368–378. - Richard C. Jeffrey. A note on Finch's “An explication of counterfactuals by probability theory.”Philosophy and phenomenological research, vol. 20 no. 1 (1959), p. 116. - Henry Albert Finch. Due care in explicating counterfactuals: a reply to Mr. Jeffrey. Philosophy and phenomenological research, vol. 20 no. 1 (1959), pp. 117–118.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
- Print publication:
- March 1973
-
- Article
- Export citation
JSL volume 38 issue 1-2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1973
-
- Article
-
- You have access
- Export citation
Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-68
- Print publication:
- March 1973
-
- Article
- Export citation
Gert Heinz Müller. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
- Print publication:
- March 1973
-
- Article
- Export citation
Michael O. Rabin. Non-standard models and independence of the induction axiom. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 287–299; also second edition, Magnes Press, Jerusalem 1966, pp. 287–299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 159
- Print publication:
- March 1973
-
- Article
- Export citation
Many-one degrees associated with problems of tag1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-17
- Print publication:
- March 1973
-
- Article
- Export citation
Wolfgang Stegmüller. Eine Axiomatisierung der Mengenlehre, beruhend auf den Systemen von Bernays und Quine. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich1962, pp. 57–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
- Print publication:
- March 1973
-
- Article
- Export citation
Rosaria Egidi. La consistenza filosofica delta logica di Frege. Giornale critico delta filosofia italiana, ser. 3 vol. 16 (1962), pp. 194–208.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- March 1973
-
- Article
- Export citation
Defining algebraic elements
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-101
- Print publication:
- March 1973
-
- Article
- Export citation
Gerhard Gentzen. Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 1–3; also Archiv für Philosophie, vol. 5 no. 1 (1954), pp. 81–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
- Print publication:
- March 1973
-
- Article
- Export citation
Jaroslav Šedivý. Solution of simple logical problems by colouring graphs. English with Czech summary. Kybernetika (Prague), vol. 5 (1969), pp. 501–512.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
- Print publication:
- March 1973
-
- Article
- Export citation
Robert Price. The stroke function in natural deduction. Zeitschrift für mathematische Logik und Crundlagen der Mathematik, vol. 7 (1961), pp. 117–123.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
- Print publication:
- March 1973
-
- Article
- Export citation
Haskell B. Curry. Foundations of mathematical logic. McGraw-Hill Book Company, Inc., New York, San Francisco, Toronto, and London, 1963, xii + 408 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
- Print publication:
- March 1973
-
- Article
- Export citation
The Carol Karp memorial fund
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- March 1973
-
- Article
- Export citation