13629 results in The Journal of Symbolic Logic
Michael O. Rabin. Automata on infinite objects and Church's problem. Conference Board of the Mathematical Sciences, Regional conference series in mathematics, no. 13. American Mathematical Society, Providence 1972, 22 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 623
- Print publication:
- December 1975
-
- Article
- Export citation
Notices of meetings
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 761
- Print publication:
- December 1975
-
- Article
- Export citation
G. L. Farre. Frege, Gottlob. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 6, p. 141.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
- Print publication:
- December 1975
-
- Article
- Export citation
W. W. Tait. Intensional interpretations of functionals of finite type I. The journal of symbolic logic, vol. 32 (1967), pp. 198–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-625
- Print publication:
- December 1975
-
- Article
- Export citation
N. V. Belyakin. A variation of Richter's construction of ordinals. English translation of X L 517. Algebra and logic (New York), vol. 8 (1969), pp. 86–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
- Print publication:
- December 1975
-
- Article
- Export citation
W. V. Quine. Philosophy of logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1970, xvi + 109 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 587-588
- Print publication:
- December 1975
-
- Article
- Export citation
Steven Orey. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 146–153. - S. Feferman, G. Kreisel, and S. Orey. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 (for 1960, pub. 1962), pp. 52–63.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
- Print publication:
- December 1975
-
- Article
- Export citation
JSL volume 40 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b6
- Print publication:
- December 1975
-
- Article
-
- You have access
- Export citation
The foundations of Suslin logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 567-575
- Print publication:
- December 1975
-
- Article
- Export citation
Notice of an International Conference, “Langage et Pensee Mathematique”
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 762
- Print publication:
- December 1975
-
- Article
- Export citation
Joseph Ullian. Mathematical objects. Philosophy of science, The Delaware seminar, Volume 1, 1961-1962, edited by Bernard Baumrin, Interscience Publishers, New York and London 1963, pp. 187–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-595
- Print publication:
- December 1975
-
- Article
- Export citation
Frederic B. Fitch. Algebraic simplification of redundant sequential circuits. Synthese, vol. 15 (1963), pp. 155–166. Reprinted in Form and strategy in science, Dordrecht 1964, pp. 191-202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 615
- Print publication:
- December 1975
-
- Article
- Export citation
W. A. Wallace. Logic, symbolic. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 962–964.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 597
- Print publication:
- December 1975
-
- Article
- Export citation
R. Bradshaw Angell. Note on a less restricted type of rule of inference. Mind, n.s. vol. 69 (1960), pp. 253–255. - R. B. Angell. The sentential calculus using rule of inference Re . The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), p. 143.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-603
- Print publication:
- December 1975
-
- Article
- Export citation
Sören Halldén. A pragmatic approach to modal theory. A reprint, with minor changes, of XXXIII 137. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 53–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 601-602
- Print publication:
- December 1975
-
- Article
- Export citation
Richard Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 153–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 600-601
- Print publication:
- December 1975
-
- Article
- Export citation
F. D. Parker. Boolean matrices and logic. Mathematics magazine, vol. 37 (1964), pp. 33–38. - Hugh G. Campbell. Linear algebra with applications including linear programming. Appleton-Century-Crofts, Educational Division, Meredith Corporation, New York 1971, xiii + 396 + A45 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-615
- Print publication:
- December 1975
-
- Article
- Export citation
Ernst Schröder. Vorlesungen über die Algebra der Logik (exacte Logik). Second edition, Volume I. A reprint of 427 with Schroder's corrections. Chelsea Publishing Company, Bronx 1966, IX + 721 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-614
- Print publication:
- December 1975
-
- Article
- Export citation
M. Gorman. Semantics. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 13, pp. 66–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 598-599
- Print publication:
- December 1975
-
- Article
- Export citation
G. L. Farre. Boole, George. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 4, p. 701.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
- Print publication:
- December 1975
-
- Article
- Export citation