13630 results in The Journal of Symbolic Logic
Eugen Mihăilescu. Les formes normales dans le calcul bivalent des propositions. French with Russian and English summaries. Analele Universitătii C. I. Parhon (Bucharest), seria Acta logica, vol. 2 (1959), pp. 201-227.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
- Print publication:
- March 1971
-
- Article
- Export citation
Wolfram Schwabhäuser. On completeness and decidability of some non-definable notions of elementary hyperbolic geometry. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 159–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1971
-
- Article
- Export citation
JSL volume 36 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
- Print publication:
- March 1971
-
- Article
-
- You have access
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-189
- Print publication:
- March 1971
-
- Article
- Export citation
Robert Blanché. Sur l'interprétation du κυριεύων λóyоς. Revue philosophique de la France et de l'Étranger, vol. 155 (1965), pp. 133–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- March 1971
-
- Article
- Export citation
The generalized continuum hypothesis is equivalent to the generalized maximization principle1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-54
- Print publication:
- March 1971
-
- Article
- Export citation
Support structures for the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 28-38
- Print publication:
- March 1971
-
- Article
- Export citation
Ph. Dwinger and F. M. Yaqub. Free extensions of sets of Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 567–577; also Indagationes mathematicae, vol. 26 (1964), pp. 567–577.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
- Print publication:
- March 1971
-
- Article
- Export citation
J. Łoś, A. Mostowski, and H. Rasiowa. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 (1956), S. 19–24. - J. Łoś, H. Rasiowa, and A. Mostowski. Addition au travail “A proof of Herbrand theorem.”Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 (1961), S. 129–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-169
- Print publication:
- March 1971
-
- Article
- Export citation
Eugen Mihăilescu. Sur quelques théorèmes de la logique classique. Revue de mathématiques pures et appliquées, vol. 4 no. 2 (1959), pp. 233–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
- Print publication:
- March 1971
-
- Article
- Export citation
W. E. Singletary. Results regarding the axiomatization of partial prepositional calculi. Notre Dame journal of formal logic, vol. 9 no. 3 (for 1968, pub. 1969), pp. 193–211.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
- Print publication:
- March 1971
-
- Article
- Export citation
Trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-14
- Print publication:
- March 1971
-
- Article
- Export citation
Sherman K. Stein. Finite models of identities. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 216–222. - A. K. Austin. A note on models of identities. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 522–523.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-161
- Print publication:
- March 1971
-
- Article
- Export citation
Logical connectives for intuitionistic propositional logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 15-20
- Print publication:
- March 1971
-
- Article
- Export citation
Gerold Stahl. General considerations about modal sentences. Zeitschrift für mathematiscke Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 280–290.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
- Print publication:
- March 1971
-
- Article
- Export citation
Alexander Abian. The theory of sets and transfinite arithmetic.W. B. Saunders Company, Philadelphia and London1965, xiii + 406 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
- Print publication:
- March 1971
-
- Article
- Export citation
R. M. Hare. The language of morals.Clarendon Press, Oxford1952, viii + 202 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
- Print publication:
- March 1971
-
- Article
- Export citation
R. M. Martin. On theoretical constructs and Ramsey constants. Philosophy of science, vol. 33 (1966), pp. 1–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 178
- Print publication:
- March 1971
-
- Article
- Export citation
Alfred V. Aho and Jeffrey D. Ullman. The theory of languages. Mathematical systems theory, vol. 2 (1968), pp. 97–125.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
- Print publication:
- March 1971
-
- Article
- Export citation
Ú. I. Ánov. О sistémah toždéstv dlá algébr (On systems of identities for algebras). Problémy kibirnétiki, vol. 8 (1962), pp. 75–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 162
- Print publication:
- March 1971
-
- Article
- Export citation