13629 results in The Journal of Symbolic Logic
Herbert B. Enderton. A mathematical introduction to logic. Academic Press, New York and London1972, xiv + 295 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
- Print publication:
- June 1973
-
- Article
- Export citation
Rolf George. Enthymematic consequence. American philosophical quarterly, vol. 9 (1972), pp. 113–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
- Print publication:
- June 1973
-
- Article
- Export citation
Mitotic recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-211
- Print publication:
- June 1973
-
- Article
- Export citation
The word problem for free fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-314
- Print publication:
- June 1973
-
- Article
- Export citation
The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-298
- Print publication:
- June 1973
-
- Article
- Export citation
Carlos E. Alchourrón and Eugenio Bulygin. Normative systems. Library of exact philosophy, no. 5. Springer-Verlag, New York and Vienna1971, XVIII + 208 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
- Print publication:
- June 1973
-
- Article
- Export citation
R. Martin. Logique mathématique. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 52–53. - G. Sabbagh. Logique mathématique. 1. Généralités. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 53–56. - I. Reznikoff. Logique mathématique. 2. Théorie lie la démonstration et intuitionnisme. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 57–64. - G. Sabbagh. Logique mathématique. 3. Théorie des modèles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 65–66. - G. Sabbagh. Logique mathématique. 4. Théorie axiomatique des ensembles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 66–71. - G. Sabbagh. Logique mathématique. 5. Décidabilité et fonctions récursives. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 71–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- June 1973
-
- Article
- Export citation
David Makinson. Aspectos de la lógica modal. Universidad Nacional del Sur, Instituto de Matemática, Bahía Blanca1971, title pages + III + 131 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- June 1973
-
- Article
- Export citation
Bases of countable Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-214
- Print publication:
- June 1973
-
- Article
- Export citation
Alice Mary Hilton. Logic, computing machines, and automation. Spartan Books, Washington, D.C., and Cleaver-Hume Press, London, 1963, xxi + 427 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
- Print publication:
- June 1973
-
- Article
- Export citation
A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 201–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
- Print publication:
- June 1973
-
- Article
- Export citation
V. A. Ánkov. O rasširénii intuicionistskogo propozicional′nogo isčisléniá do klassičéskogo i minimal′nogo-do intuicionistskogo. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 32 (1968), pp. 208–211. - V. A. Jankov. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus. English translation of the preceding. Mathematics of the USSR—Izvestija (Providence), vol. 2 no. 1 (for 1968, pub. 1969), pp. 205–208.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
- Print publication:
- June 1973
-
- Article
- Export citation
Observations concerning elementary extensions of ω-models. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-231
- Print publication:
- June 1973
-
- Article
- Export citation
Carl E. Bredlau. Regressive functions and combinatorial functions. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 301–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
- Print publication:
- June 1973
-
- Article
- Export citation
Aubert Daigneault. Operations in polyadic algebras. Transactions of the American Mathematical Society, vol. 158 (1971), pp. 219–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
- Print publication:
- June 1973
-
- Article
- Export citation
M. Makkai. On the model theory of denumerably long formulas with finite strings of quantifiers. The journal of symbolic logic, vol. 34 (1969), pp. 437–459.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1973
-
- Article
- Export citation
On the first-order logic of terms
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-188
- Print publication:
- June 1973
-
- Article
- Export citation
The consistency of classical set theory relative to a set theory with intu1tionistic logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 315-319
- Print publication:
- June 1973
-
- Article
- Export citation
James F. Gray. Sets, relations, and functions. Holt, Rinehart and Winston, Inc., New York, Chicago, San Francisco, Toronto, and London, 1962, xii + 143 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- June 1973
-
- Article
- Export citation
Shaligram Singh. The independence of a strong axiom of choice. The mathematical gazette, vol. 46 (1962), pp. 126–129.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
- Print publication:
- June 1973
-
- Article
- Export citation