4 results
Jon Barwise. Implicit definability and compactness in infinitary languages. The syntax and semantics of infinitary languages, edited by Jon Barwise, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 1–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-202
- Print publication:
- March 1972
-
- Article
- Export citation
S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62(2). Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 289–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
- Print publication:
- June 1971
-
- Article
- Export citation
A. I. Omarov. O kompaktnyh klassah modéléj (On compact classes of models). Algébra i logika, Séminar, vol. 6 no. 2 (1967), pp. 49–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 652
- Print publication:
- February 1970
-
- Article
- Export citation
R. Sikorski. A theorem on non-classical functional calculi. Bulletin de l'Academie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 649–650. - R. Sikorski. Some applications of interior mappings. Fundamenta mathematicae, vol. 45 (1957), pp. 200–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 537
- Print publication:
- February 1968
-
- Article
- Export citation