9 results
Changes in the flux of Saharan dust to the East Mediterranean Sea since the last glacial maximum as observed through Sr-isotope geochemistry
-
- Journal:
- Mineralogical Magazine / Volume 72 / Issue 1 / February 2008
- Published online by Cambridge University Press:
- 05 July 2018, pp. 307-311
-
- Article
- Export citation
Alfred B. Manaster. Completeness, compactness, and undecidability: An introduction to mathematical logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1975, vi + 154 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 320
- Print publication:
- June 1977
-
- Article
- Export citation
William Craig. Bases for first-order theories and subtheories. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 97–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 616
- Print publication:
- September 1972
-
- Article
- Export citation
The decision problem for formulas in prenex conjunctive normal form with binary disjunctions
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-216
- Print publication:
- June 1970
-
- Article
- Export citation
Yoemon Sampei. On set theoretical operations. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 117–132, and vol. 9 (for 1960, pub. 1961), pp. 39–51. Corrections. Ibid., p. 52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- March 1970
-
- Article
- Export citation
Yoemon Sampei. On the uniformization of a set of class Αρσ. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 67–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
- Print publication:
- March 1970
-
- Article
- Export citation
Yoemon Sampei. Note on the effective choice of a point in the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 91–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- March 1970
-
- Article
- Export citation
Yoemon Sampei. On the uniformization of the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 10 (1962), pp. 57–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- March 1970
-
- Article
- Export citation
Separation principles in the hierarchy theory of pure first-order logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-236
- Print publication:
- September 1963
-
- Article
- Export citation