13629 results in The Journal of Symbolic Logic
V. J. McGill and W. T. Parry. The unity of opposites: A dialectical principle. Science and society, vol. 12 (1948), pp. 418–444.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
- Print publication:
- June 1957
-
- Article
- Export citation
On the axioms of order and succession1
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-144
- Print publication:
- June 1957
-
- Article
- Export citation
L. Henkin. La structure algébrique des théories matérmatiques. Collection de logique mathématique, série A. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1956, 52 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
- Print publication:
- June 1957
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-224
- Print publication:
- June 1957
-
- Article
- Export citation
Degrees of unsolvability associated with classes of formalized theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-175
- Print publication:
- June 1957
-
- Article
- Export citation
A criterion for completeness of degrees of unsolvability
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
- Print publication:
- June 1957
-
- Article
- Export citation
Alonzo Church. Propositions and sentences. The problem of universals, A symposium, University of Notre Dame Press, Notre Dame, Indiana, 1956, pp. 3–11. - Nelson Goodman. A world of individuals. The problem of universals, A symposium, University of Notre Dame Press, Notre Dame, Indiana, 1956, pp. 15–31. - I. M. Bocheński. The problem of universals. The problem of universals, A symposium, University of Notre Dame Press, Notre Dame, Indiana, 1956, pp. 35–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 205-208
- Print publication:
- June 1957
-
- Article
- Export citation
G. F. C. Griss. La mathématique iniuitioniste sans négation. Nieuw archief voor wishunde, ser. 3 vol. 3 no. 3 (1955), pp. 134–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 214
- Print publication:
- June 1957
-
- Article
- Export citation
G. S. Céjtin. Associativnoé isčislénié s nérazréšimoj problémoj ekvivaléntnosti (An associative calculus with an unsolvable equivalence problem). Doklady Akadéimii Nauk SSSR, vol. 107 (1956), pp. 370–371.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 219
- Print publication:
- June 1957
-
- Article
- Export citation
Jan Lukasiewicz. Sur la formalisation des théories mathématiques. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 11–19. - Paul Bernays, Abraham Robinson, Haskell B. Curry. Discussion. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 19–21.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 214
- Print publication:
- June 1957
-
- Article
- Export citation
Hartley Rogers Jr. Certain logical reduction and decision problems. Annals of mathematics, Bd. 64 (1956), S. 264–284.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
- Print publication:
- June 1957
-
- Article
- Export citation
Samuel Issmann. Problèmes de la définition. Methodos, vol. 4 (1952), pp. 91–117. - S. Ceccato, P. Facchi, G. Vaccarino. Discussione. Methodos, vol. 4 (1952), pp. 117–118.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 211-212
- Print publication:
- June 1957
-
- Article
- Export citation
JSL volume 22 issue 2 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
- Print publication:
- June 1957
-
- Article
-
- You have access
- Export citation
V. I. Šéstakov. O préobrazovanii monocikličéskoj poslédovatél′nosti v vozvratnuú (On the transformation of a periodic sequence into a recursive one). Doklady Akadéimii Nauk SSSR, vol. 105 (1955), vol. 98 (1954), pp. 541–544.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 220
- Print publication:
- June 1957
-
- Article
- Export citation
W. Mays. The first circuit for an electrical logic-machine. Science, vol. 118 (1953), pp. 281–282.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
- Print publication:
- June 1957
-
- Article
- Export citation
L. Henkin. The representation theorem for cylindrical algebras. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 85–97.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
- Print publication:
- June 1957
-
- Article
- Export citation
Kurt Bing. On simplifying truth-functional formulas. The journal of symbolic logic, vol. 21 (1956), pp. 253–254.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
- Print publication:
- June 1957
-
- Article
- Export citation
On the representation of Herbrand functions in algebraically closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-204
- Print publication:
- June 1957
-
- Article
- Export citation
A. Janiczak. Undecidability of some simple formalized theories. Nach dem Tode des Verf., von A. Mostowski und A. Grzegorczyk herausgegeben. Fundamenta mathematicae, Bd. 40 (1953), S. 131–139.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
- Print publication:
- June 1957
-
- Article
- Export citation
Robert McNaughton. Logical and combinatorial problems in computer design. Computers and automation (Newtonville, Mass.), vol. 6 no. 1 (1957), pp. 30–31.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 222
- Print publication:
- June 1957
-
- Article
- Export citation