13629 results in The Journal of Symbolic Logic
Martin Davis. Computability & unsolvability. McGraw-Hill series in information processing and computers. McGraw-Hill Book Company, Inc., New York-Toronto-London1958, xxv + 210 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 432-433
- Print publication:
- December 1958
-
- Article
- Export citation
A remark on free choice sequences and the topological completeness proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-388
- Print publication:
- December 1958
-
- Article
- Export citation
Robert G. Turnbull. A note on Mr. Hare's “logic of imperatives.”Philosophical studies (Minneapolis), vol. 5 (1954), pp. 33–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 442
- Print publication:
- December 1958
-
- Article
- Export citation
Robert Blanché. L'axiomatique. Presses Universitaires de France, Paris1955, title pages + 102 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 438-439
- Print publication:
- December 1958
-
- Article
- Export citation
John G. Kemeny, J. Laurie Snell and Gerald L. Thompson. Introduction to finite mathematics. Prentice-Hall, Inc., Englewood Cliffs1957, xi + 372 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 439
- Print publication:
- December 1958
-
- Article
- Export citation
Heinrich Behmann. Ein logischer Abakus. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 42–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 450
- Print publication:
- December 1958
-
- Article
- Export citation
Philipp Frank. Philosophy of science. The link between science and philosophy. Prentice-Hall, Inc., Englewood Cliffs1957, xxii + 394 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-440
- Print publication:
- December 1958
-
- Article
- Export citation
Antonio Monteiro. Axiomes indépendants pour les algèbres de Brouwer. Revista de la Unión Matemática Argentina y de la Asociación Física Argentina, Bd. 17 (1955), S. 149–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 444
- Print publication:
- December 1958
-
- Article
- Export citation
A. Grzegorczyk. Elementarily definable analysis. Fundamenta mathematicae, Bd. 41 Heft 2 (1955), S. 311–338.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 444-445
- Print publication:
- December 1958
-
- Article
- Export citation
M. A. Gawrilow. Relaisschalttechnik für Stark- und Schwachstromanlagen. Translated by Kirill Keller. VEB Verlag Technik, Berlin1953, 324 pp. This is an exact translation of XXI 331(3), except that it omits the introduction (Vvédénié, pp. 7–10).
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 434
- Print publication:
- December 1958
-
- Article
- Export citation
On recursively enumerable and arithmetic models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-416
- Print publication:
- December 1958
-
- Article
- Export citation
Marie-Louise Roure. Logique et métalogique. Essai sur la structure et les frontières de la pensée logique. Emmanuel Vitte, Paris1957, 281 p.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 436-438
- Print publication:
- December 1958
-
- Article
- Export citation
Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 (1956), pp. 430–470.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 448-449
- Print publication:
- December 1958
-
- Article
- Export citation
László Kalmár. Another proof of the Markov-Post theorem. English with Russian summary. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 (1952), pp. 1–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-448
- Print publication:
- December 1958
-
- Article
- Export citation
Henry S. Leonard. Principles of right reason. Henry Holt and Company, New York1957, xx + 620 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 4 / December 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 435-436
- Print publication:
- December 1958
-
- Article
- Export citation
R. Harrop. On disjunctions and existential statements in intuitionistic systems of logic. Mathematische Annalen, vol. 132 (1956), pp. 347–361.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
- Print publication:
- September 1958
-
- Article
- Export citation
Roger Martin. Raisonnement mathématique et récurrence. Les études philosophiques, n.s. vol. 11 (1956), pp. 242–262.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-359
- Print publication:
- September 1958
-
- Article
- Export citation
Tadeusz Kubiński. O pewnej metodzie tworzenia logik modalnych (On a method of constructing modal logics). Polish, with English and Russian summaries. Studia logica, vol. 4 (1956), pp. 213–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-349
- Print publication:
- September 1958
-
- Article
- Export citation
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-330
- Print publication:
- September 1958
-
- Article
- Export citation
John G. Kemeny. Undecidable problems of elementary number theory. Mathematische Annalen, vol. 135 (1958), pp. 160–169.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-360
- Print publication:
- September 1958
-
- Article
- Export citation