6 results
Klaus Potthoff. Einführung in die Modelltheorie und ihre Anwendungen. Wissenschaftliche Buchgesellschaft, Darmstadt1981, pp. XII + 277 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-220
- Print publication:
- March 1983
-
- Article
- Export citation
C. C. Chang and H. J. Keisler. Model theory. Studies in logic and the foundations of mathematics, vol. 73, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 550 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 697-699
- Print publication:
- September 1976
-
- Article
- Export citation
H. Jerome Keisler. Logic with the quantifier “there exist uncountably many.”Annals of mathematical logic, vol. 1 no. 1 (1970), pp. 1–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 685-687
- Print publication:
- December 1971
-
- Article
- Export citation
Gaisi Takeuti. Remarks on the truth definition. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 207–209.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 110
- Print publication:
- March 1962
-
- Article
- Export citation
Chandler Davis. Modal operators, equivalence relations, and projective algebras, American journal of mathematics, vol. 76 (1954), pp. 747–762.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 253
- Print publication:
- September 1959
-
- Article
- Export citation
Juliusz Reichbach. On the first-order functional calculus and the truncation of models. English, with Polish and Russian summaries. Studio logica, vol. 7 (1958), pp. 181–220.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1959
-
- Article
- Export citation