13630 results in The Journal of Symbolic Logic
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
A. Mostowski. Constructible sets with applications. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam, and PWN, Polish Scientific Publishers, Warsaw, 1969, vi + 269 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-632
- Print publication:
- December 1975
-
- Article
- Export citation
R. Björn Jensen. The fine structure of the constructible hierarchy. Annals of mathematical logic, vol. 4 no. 3 (1972), pp. 229–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 632-633
- Print publication:
- December 1975
-
- Article
- Export citation
Gerald E. Sacks. Saturated model theory. Photolithographed from typewritten manuscript. Advanced book program. W. A. Benjamin, Inc., Reading, Mass., 1972, xiv + 335 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 637-640
- Print publication:
- December 1975
-
- Article
- Export citation
Notice of the Third Latin American Symposium on Mathematical Logic (A Meeting of the Association for Symbolic Logic)
-
- 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
J. A. Ladrière. Axiomatic system. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 1140–1141.
-
- 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
Index of Reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 687-760
- Print publication:
- December 1975
-
- Article
- Export citation
Alice Ambrose and Morris Lazerowitz. Fundamentals of symbolic logic. Revised edition of XIV 191. Holt, Rinehart and Winston, Inc., New York 1962, 328 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-608
- Print publication:
- December 1975
-
- Article
- Export citation
W. A. Pogorzelski. Structural completeness of the propositional calculus. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 19 (1971), pp. 349–351.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
- Print publication:
- December 1975
-
- Article
- Export citation
A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- December 1975
-
- Article
- Export citation
Dana Scott. Some definitional suggestions for automata theory. Journal of computer and system sciences, vol. 1 (1967), pp. 187–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
- Print publication:
- December 1975
-
- Article
- Export citation
W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 176–185.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-624
- Print publication:
- December 1975
-
- Article
- Export citation
Greg Cherlin and Joram Hirschfeld. Ultrafilters and ultraproducts in non-standard analysis. Contributions to non-standard analysis, edited by W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69, North-Holland Publishing Company, Amsterdam and London 1972, pp. 261–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 634
- Print publication:
- December 1975
-
- Article
- Export citation
Hugues Leblanc and William A. Wisdom. Deductive logic. Allyn and Bacon, Inc., Boston 1972, xii + 367 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-629
- Print publication:
- December 1975
-
- Article
- Export citation
G. L. Farre. De Morgan, Augustus. 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. 760.
-
- 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
M. Makkai. Svenonius sentences and Lindström's theory on preservation theorems. Fundamenta mathematicae, vol. 73 no. 3 (1972), pp. 219–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 635
- Print publication:
- December 1975
-
- Article
- Export citation
Stephan Korner. The philosophy of mathematics. An introductory essay. Hutchinson and Co., Ltd., London 1960, 198 pp. Paperbound reprint, Harper torchbooks, Harper Brothers, New York 1962, 198 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 588-593
- Print publication:
- December 1975
-
- Article
- Export citation
Patrick C. Fischer, Albert R. Meyer, and Arnold L. Rosenberg. Time-restricted sequence generation. Journal of computer and system sciences, vol. 4 (1970), pp. 50–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 616-617
- Print publication:
- December 1975
-
- Article
- Export citation
Shen Lin and Tibor Rado. Computer studies of Turing machine problems. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 196–212. - Allen H. Brady. The conjectured highest scoring machines for Rado's Σ(k) for the value k = 4. IEEE transactions on electronic computers, vol. EC-15 (1966), pp. 802–803. - Milton W. Green. A lower bound on Rado's sigma function for binary Turing machines. Switching circuit theory and logical design, Proceedings of the Fifth Annual Symposium, Princeton University, Princeton, N.J., November 11-13, 1964, The Institute of Electrical and Electronics Engineers, Inc., New York 1964, pp. 91–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 617
- Print publication:
- December 1975
-
- Article
- Export citation
Witold A. Pogorzelski. The deduction theorem for Łukasiewicz many-valued propositional calculi. English with Polish and Russian summaries. Studio logica, vol. 15 (1964), pp. 7–23.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
- Print publication:
- December 1975
-
- Article
- Export citation