13629 results in The Journal of Symbolic Logic
Abraham Robinson. Complete theories. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1956, VIII + 129 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-174
- Print publication:
- June 1960
-
- Article
- Export citation
The sentential calculus using rule of inference Re
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
- Print publication:
- June 1960
-
- Article
- Export citation
C. C. Chang. On unions of chains of models. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 120–127.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
- Print publication:
- June 1960
-
- Article
- Export citation
Jerzy Łoś. Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, S. 98–113.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 168
- Print publication:
- June 1960
-
- Article
- Export citation
Ichizo Ninomiya. On the number of types of symmetric Boolean output matrices. Memoirs of the Faculty of Engineering, Nagoya University, vol. 7 (1955), pp. 115–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-187
- Print publication:
- June 1960
-
- Article
- Export citation
Moh Shaw-Kwei. Ming-t'i yian-suan ti kung-li hsi-t'ung (Some axiom systems for propositional calculus). Acta mathematica Sinica, vol. 5 (1955), pp. 117–135. English summary reprinted in Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 64 (1957), p. 11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
- Print publication:
- June 1960
-
- Article
- Export citation
Moh Shaw-Kwei. Lo-chch'i hsi-t'ung ti ting-isei wun-ti (About the rules of procedure). Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 3, pp. 801–809 (pp. 77–85).
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
- Print publication:
- June 1960
-
- Article
- Export citation
Abraham Robinson. A result on consistency and its application to the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, vol. 59 (1956), pp. 47–58; also Indagationes mathematicae, vol. 18 (1956), pp. 47–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
- Print publication:
- June 1960
-
- Article
- Export citation
Richard C. Jeffrey. Arithmetical analysis of digital computing nets. Journal of the Association for Computing Machinery, vol. 3 (1956), pp. 360–375.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-191
- Print publication:
- June 1960
-
- Article
- Export citation
Moh Shaw-Kwei. Kuan-yü shu-lun han-shu ti kow-cheng (On the explicit form of number-theoretic functions). Chinese, with English Abstract.Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 1 (1958), pp. 27–31.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
- Print publication:
- June 1960
-
- Article
- Export citation
Warren Semon. Synthesis of series-parallel network switching functions. The Bell System technical journal, vol. 37 (1958), pp. 877–898.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
- Print publication:
- June 1960
-
- Article
- Export citation
Paul Axt. On a subrecursive hierarchy and primitive recursive degrees. Transactions of the American Mathematical Society, Bd. 92 (1959), S. 85–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
- Print publication:
- June 1960
-
- Article
- Export citation
Moh Shaw-Kwei. Yi-pan t'i-k'wei han-shu ti kow-cheng (On the explicit form of general recursive functions). Acta mathematica Sinica, vol. 6 (1956), pp. 548–564.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
- Print publication:
- June 1960
-
- Article
- Export citation
Michael O. Rabin. Arithmetical extensions with prescribed cardinality. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, vol. 62 (1959), pp. 439–446; also Indagationes mathematicae, vol. 21 (1959), pp. 439–446.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
- Print publication:
- June 1960
-
- Article
- Export citation
Abraham Robinson. Completeness and persistence in the theory of models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 15–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-171
- Print publication:
- June 1960
-
- Article
- Export citation
Karl Menger. The basic concepts of mathematics. A companion to current textbooks on algebra and analytic geometry. Part I. Algebra.The Bookstore, Illinois Institute of Technology, Chicago1957, vii + 93 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-160
- Print publication:
- June 1960
-
- Article
- Export citation
Moh Shaw-Kwei. Zhe-ch'üeh chu-yi lo-ch'i ti ch'ian-t'an ch'ai-shao (Simplified introduction to intuitionistic logic). Tung-pei Jen-min Ta-hsüeh tse-jan k'o-hsüeh hsüeh-pao, no. 2 (1957), pp. 247–265.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
- Print publication:
- June 1960
-
- Article
- Export citation
JSL volume 25 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- June 1960
-
- Article
-
- You have access
- Export citation
Harald Delius. Positivismus und Neopositivismus. Philosophie, Das Fischer Lexikon, Fischer Bücherei, Francfort et Hambourg1958, pp. 269–286.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
- Print publication:
- March 1960
-
- Article
- Export citation
André Darbon. Les catégories de la modalité. Presses Universitaires de France, Paris1956, viii + 165 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
- Print publication:
- March 1960
-
- Article
- Export citation