13629 results in The Journal of Symbolic Logic
Evert W. Beth and Hugues Leblanc. A note on the intuitionist and the classical prepositional calculus. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 174–176.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
- Print publication:
- December 1960
-
- Article
- Export citation
A. Mostowski. Contributions to the theory of definable sets and functions. Ebd., S. 271–275.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 365
- Print publication:
- December 1960
-
- Article
- Export citation
C. Y. Lee and W. H. Chen. Several-valued combinational switching circuits. Transactions of the American Institute of Electrical Engineers, vol. 75 part I (1956), pp. 278–283.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
- Print publication:
- December 1960
-
- Article
- Export citation
András Hajnal and László Kalmár. An elementary combinatorial theorem with an application to axiomatic set theory. Publicationes mathematlcae (Debrecen), vol. 4 (1956), pp. 431–449. - E. Burger. Eine Bemerkung zur Bernays-Godel-Mengenlehre. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 178–179.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
- Print publication:
- December 1960
-
- Article
- Export citation
Kurt Gödel. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Deutsch, mit deutschem und englischem Résumé. Ebd., S. 76–83; auch ebd., S. 280–287.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
- Print publication:
- December 1960
-
- Article
- Export citation
G. Kreisel. Non-uniqueness results for transfinite progressions. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 no. 5 (1960), pp. 287–290.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 364
- Print publication:
- December 1960
-
- Article
- Export citation
J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 (1960), pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 (1958), pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 (1958), pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 (1958), pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 (1960). pp. 127–133. - J. C. E. Dekker. An expository account of isols. 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. 189–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-359
- Print publication:
- December 1960
-
- Article
- Export citation
Hao Wang. Circuit synthesis by solving sequential Boolean equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 291–322.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-375
- Print publication:
- December 1960
-
- Article
- Export citation
JSL volume 25 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b4
- Print publication:
- December 1960
-
- Article
-
- You have access
- Export citation
Azriel Levy. Indépendance conditionnelle de V = L et d'axiomes qui se rattachent au systeme de M. Gödel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1582–1583.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 354
- Print publication:
- December 1960
-
- Article
- Export citation
Announcement to subscribers to the Journal of Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
- Print publication:
- December 1960
-
- Article
- Export citation
A. Mostowski. Examples of sets definable by means of two and three quantifiers. Fundamenta mathematicae, Bd. 42 (1955), S. 259–270.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 364-365
- Print publication:
- December 1960
-
- Article
- Export citation
A. N. Prior. Time after time. Mind, n.s. vol. 67 (1958), pp. 244–246.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- December 1960
-
- Article
- Export citation
Azriel Lévy. On Ackermann's set theory. The journal of symbolic logic, Bd. 24 Heft 2 (für 1959, veröff. 1960), S. 154–166.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 355
- Print publication:
- December 1960
-
- Article
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-412
- Print publication:
- December 1960
-
- Article
- Export citation
Max Black. Necessary statements and rules. The philosophical review, vol. 67 (1958), pp. 313–341.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
- Print publication:
- December 1960
-
- Article
- Export citation
John J. Morrison. The existential import of a proposition in Aristotelian logic. Philosophy and phenomenological research, vol. 15 no. 3 (1955), pp. 386–393.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
- Print publication:
- December 1960
-
- Article
- Export citation
Nicholas Rescher. A ninth-century Arabic logician on: Is existence a predicate?Journal of the history of ideas, vol. 21 (1960), pp. 428–430.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
- Print publication:
- December 1960
-
- Article
- Export citation
A. N. Prior. Diodorus and modal logic: A correction. The philosophical quarterly (St. Andrews), vol. 8 (1958), pp. 226–230. A correction to XXI 199.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- December 1960
-
- Article
- Export citation
J. Paul Roth. Two logical minimization problems. 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. 396–401. - J. Paul Roth. Algebraic topological methods for the synthesis of switching systems. II. Proceedings of the International Symposium on the Theory of Switching, Harvard University, April 2, 1957, The annals of the computation laboratory, vol. 29 (1959), pp. 57–73. - J. Paul Roth and E. G. Wagner. Algebraic topological methods for the synthesis of switching systems. III: Minimization of nonsingtdar Boolean trees. IBM journal of research and development, vol. 3 (1959), pp. 326–344.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-373
- Print publication:
- December 1960
-
- Article
- Export citation