13629 results in The Journal of Symbolic Logic
Brian Skyrms. Choice and chance. An introduction to inductive logic. Dickenson Publishing Company, Inc., Belmont, California, 1966, viii + 165 pp.; second revised and expanded edition, Dickenson Publishing Company, Inc., Encino and Belmont, California, 1975, xi + 220 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 547-548
- Print publication:
- June 1976
-
- Article
- Export citation
α-decompositions of α-spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-488
- Print publication:
- June 1976
-
- Article
- Export citation
H. C. Torng. Introduction to the logical design of switching systems. Addison-Wesley series in electrical engineering. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, 1964, xii + 286 pp. - Basil Zacharov. Digital systems logic and circuits. American Elsevier Publishing Company, Inc., New York 1968, xv + 160 pp. - Ray Ryan. Basic digital electronics—Understanding number systems, Boolean algebra, & logic circuits. Tab Books, Blue Ridge Summit, Pa., 1975, 210 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-550
- Print publication:
- June 1976
-
- Article
- Export citation
Derived rules of inference related to the continuity of effective operations
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-336
- Print publication:
- June 1976
-
- Article
- Export citation
Normal functions and constructive ordinal notations
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-459
- Print publication:
- June 1976
-
- Article
- Export citation
A completeness theorem for Zermelo-Fraenkel set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-327
- Print publication:
- June 1976
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Chicago 1975
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 551-560
- Print publication:
- June 1976
-
- Article
- Export citation
Gödel's Second incompleteness theorem for Q
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-512
- Print publication:
- June 1976
-
- Article
- Export citation
Effective coloration
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-480
- Print publication:
- June 1976
-
- Article
- Export citation
Model Theoretic Algebra1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 537-545
- Print publication:
- June 1976
-
- Article
- Export citation
Uniformly defined descending sequences of degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-367
- Print publication:
- June 1976
-
- Article
- Export citation
Projective planes of infinite but isolic order
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-404
- Print publication:
- June 1976
-
- Article
- Export citation
The inconsistency of
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-468
- Print publication:
- June 1976
-
- Article
- Export citation
An interpretation of “finite” modal first-order languages in classical second-order languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-340
- Print publication:
- June 1976
-
- Article
- Export citation
An introduction to recursively saturated and resplendent models1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-536
- Print publication:
- June 1976
-
- Article
- Export citation
Adding a closed unbounded set
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-482
- Print publication:
- June 1976
-
- Article
- Export citation
Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-418
- Print publication:
- June 1976
-
- Article
- Export citation
JSL volume 41 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1976
-
- Article
-
- You have access
- Export citation
Equivalence of some definitions of recursion in a higher type object1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 427-435
- Print publication:
- June 1976
-
- Article
- Export citation
Krom formulas with one dyadic predicate letter1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-362
- Print publication:
- June 1976
-
- Article
- Export citation