13629 results in The Journal of Symbolic Logic
Hugues Leblanc. Structural rules of inference. Notre Dame journal of formal logic, vol. 3 (1962), pp. 201–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
- Print publication:
- September 1963
-
- Article
- Export citation
Reviews - Heinrich Scholz and Gisbert Hasenjaeger. Grundzüge der mathematischen Logik. Springer-Verlag, Berlin-Göttingen-Heidelberg1961, XVI + 504 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-249
- Print publication:
- September 1963
-
- Article
- Export citation
Hugues Leblanc and Nuel D. BelnapJr., Intuitionism reconsidered. Notre Dame journal of formal logic, vol. 3 (1962), pp. 79–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
- Print publication:
- September 1963
-
- Article
- Export citation
An extension of the Craig-Lyndon interpolation theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-216
- Print publication:
- September 1963
-
- Article
- Export citation
Gerold Stahl. Preguntas y premisas. Revista de filosofia de la Universidad de Chile, vol. 8 (1961), pp. 3–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 257
- Print publication:
- September 1963
-
- Article
- Export citation
Guido Küng. Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917–1957. Notre Dame journal of formal logic, vol. 3 (1962), pp. 5–40. - I. M. Bocheński. Preface (to the above). Notre Dame journal of formal logic, vol. 3 (1962), pp. 1–4.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
- Print publication:
- September 1963
-
- Article
- Export citation
Robert W. Ritchie. Classes of predictably computable functions. Transactions of the American Mathematical Society, vol. 106 (1963), pp. 139–173.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
- Print publication:
- September 1963
-
- Article
- Export citation
Hiroshi Nagai. The concept of formality in mathematics. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 5 (1960), pp. 289–312.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
- Print publication:
- September 1963
-
- Article
- Export citation
Henry S. Leonard. The logic of existence. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 49–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-261
- Print publication:
- September 1963
-
- Article
- Export citation
Hao Wang. Many-sorted predicate calculi. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 322–333.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- September 1963
-
- Article
- Export citation
B. A. Trahténbrot. Sintéz logičéskih sétéj, opératory kotoryh opisany srédstvami isčisléniá odnoméstnyh predikátov (Synthesis of logical nets whose operators are described by means of the calculus of one-place predicates). Doklady Akadémii Nauk SSSR, vol. 118 (1958), pp. 646–649.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
- Print publication:
- September 1963
-
- Article
- Export citation
Tensor products of polyadic algebras1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-200
- Print publication:
- September 1963
-
- Article
- Export citation
Independent Axioms for Infinite-Valued Logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-221
- Print publication:
- September 1963
-
- Article
- Export citation
On the solvability of a subclass of the surányi reduction class1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-244
- Print publication:
- September 1963
-
- Article
- Export citation
Vladeta Vučković. Partially ordered recursive arithmetics. Mathematica Scandinavica, vol. 7 (1959), pp. 305–320. - Vladeta Vučković. Einführung von Σƒ(x) und Πƒ(x) in der rekursiven Gitterpunktarithmetik. German, with Bulgarian and Russian summaries. B′lgarska Akadémia na Naukité, Izvéstiá na Matématičéskiá Institut, vol. 6 (1962), pp. 15–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-252
- Print publication:
- September 1963
-
- Article
- Export citation
C. L. Hamblin. Questions. The Australasian journal of philosophy, vol. 36 (1958). pp. 159–168. - C. F. Presley. A note on questions. The Australasian journal of philosophy, vol. 37 (1959), pp. 64–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 258
- Print publication:
- September 1963
-
- Article
- Export citation
Naoto Yonemitsu. Systems of weak implication. Memoirs of the Osaka University of Liberal Arts and Education, B. Natural science, no. 9 (1960), pp. 137–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-257
- Print publication:
- September 1963
-
- Article
- Export citation
JSL volume 28 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- September 1963
-
- Article
-
- You have access
- Export citation
A. A. Zinov'év. Filosofskié problémy mnogoznačnoj logiki (Philosophical problems of many-valued logic). Izdatél'stvo Akadémii Nauk SSSR, Moscow1960, 139 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
- Print publication:
- September 1963
-
- Article
- Export citation
1964 International congress for logic, methodology and philosophy of science
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 3 / September 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-272
- Print publication:
- September 1963
-
- Article
- Export citation