13629 results in The Journal of Symbolic Logic
Dieter Klaua. Konstruktive Analysis. Mathematische Forschungsberichte no. 11, VEB Deutscher Verlag der Wissenschaften, Berlin1961, VIII + 160 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-155
- Print publication:
- March 1973
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. v
- Print publication:
- March 1973
-
- Article
- Export citation
The center of an orthologic
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-645
- Print publication:
- December 1972
-
- Article
- Export citation
Peter G. Hinman. Hierarchies of effective descriptive set theory. Transactions of the American Mathematical Society, vol. 142 (1969), pp. 111–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 758-759
- Print publication:
- December 1972
-
- Article
- Export citation
J. Hartmanis. Context-free languages and Turing machine computations. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence1967, pp. 42–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 759
- Print publication:
- December 1972
-
- Article
- Export citation
Henryk Greniewski and Olgierd Wojtasiewicz. From the history of Chinese logic. Studia logica, vol. 4 (1956), pp. 241–243.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 751
- Print publication:
- December 1972
-
- Article
- Export citation
Errett Bishop. Foundations of constructive analysis. McGraw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, and Sydney, 1967, xiii + 370 pp. - Errett Bishop. Mathematics as a numerical language. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 53–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 744-747
- Print publication:
- December 1972
-
- Article
- Export citation
H. Allen Curtis. A functional canonical form. Journal of the Association for Computing Machinery, vol. 6 (1959), pp. 245–258. - H. Allen Curtis. Multifunctional circuits in functional canonical form. Journal of the Association for Computing Machinery, vol. 6 (1959), pp. 538–547. - H. Allen Curtis. A new approach to the design of switching circuits. D. Van Nostrand Company, Inc., Princeton-Toronto-London-New York, 1962, viii + 635 pp. - R. L. Ashenhurst. The decomposition of switching functions. Therein, pp. 571–602. - Theodore Singer. The decomposition chart as a theoretical aid. Therein, pp. 602–620.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 760-762
- Print publication:
- December 1972
-
- Article
- Export citation
Weak compactness and square bracket partition relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-676
- Print publication:
- December 1972
-
- Article
- Export citation
Completeness of an ancient logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-702
- Print publication:
- December 1972
-
- Article
- Export citation
A. F. Pixley. Distributivity and permutability of congruence relations in equational classes of algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 105–109.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 762
- Print publication:
- December 1972
-
- Article
- Export citation
Willard Van Orman Quine. Set theory and its logic. The Belknap Press of Harvard University Press, Cambridge, Mass., 1963, xv + 359 pp.; also revised edition, ibid., 1969, xvii + 361 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 768-769
- Print publication:
- December 1972
-
- Article
- Export citation
G. E. Hughes and M. J. Cresswell. An introduction to modal logic. A second printing, with corrections, of XXXVI 328. Methuen and Co Ltd, London, and Barnes and Noble, Inc., New York, 1972, xii + 388 pp.; also a University Paperback, ibid. 1972, xii + 388 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 754
- Print publication:
- December 1972
-
- Article
- Export citation
Noncompactness in propositional modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 716-720
- Print publication:
- December 1972
-
- Article
- Export citation
P. C. Gilmore. An alternative to set theory. The American mathematical monthly, vol. 67 (1960), pp. 621–632. - P. C. Gilmore. The monadic theory of types in the lower predicate calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 309–312.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 766-767
- Print publication:
- December 1972
-
- Article
- Export citation
Almost strongly minimal theories. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-660
- Print publication:
- December 1972
-
- Article
- Export citation
Jörg Flum. A remark on infinitiary languages. The journal of symbolic logic, vol. 36 no. 3 (for 1971, pub. 1972), pp. 461–462.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 764
- Print publication:
- December 1972
-
- Article
- Export citation
Charles Parsons. A note on Quine's treatment of transfinite recursion. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 179–182.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 769
- Print publication:
- December 1972
-
- Article
- Export citation
Logic colloquium and meeting of the association for symbolic logic, Bristol, England, 1973
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 825
- Print publication:
- December 1972
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, St. Louis 1972
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 775-782
- Print publication:
- December 1972
-
- Article
- Export citation