13629 results in The Journal of Symbolic Logic
Inner models for set theory – Part III
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-167
- Print publication:
- June 1953
-
- Article
- Export citation
Georg H. v. Wright. An essay in modal logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1951, VII + 90 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-176
- Print publication:
- June 1953
-
- Article
- Export citation
Józef Iwanicki. Dedukcja naturalna i logistyczna (Natural and logistic deduction). Polskie Towarzystwo Teologiczne, Warsaw1949, XVI + 164 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
- Print publication:
- June 1953
-
- Article
- Export citation
JSL volume 18 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1953
-
- Article
-
- You have access
- Export citation
Paradox of the class of all grounded classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 2 / June 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 114
- Print publication:
- June 1953
-
- Article
- Export citation
Alan Rose. An extension of the calculus of non-contradiction. Proceedings of the London Mathematical Society, ser. 2 vol. 54 part 3 (1952), pp. 184–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
- Print publication:
- March 1953
-
- Article
- Export citation
Thoralf Skolem. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 24 (1951), pp. 20–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- March 1953
-
- Article
- Export citation
Hugo Ribeiro. A remark on Boolean algebras with operators. American journal of mathematics, vol. 74 (1952), pp. 163–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 71
- Print publication:
- March 1953
-
- Article
- Export citation
D. M. McCallum and J. B. Smith. Feedback logical computors. Electronic engineering, vol. 23 (1951), pp. 458–461.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
- Print publication:
- March 1953
-
- Article
- Export citation
G. Kreisel. On the interpretation of non-finitist proofs. The journal of symbolic logic, vol. 16 (1951), pp. 241–267, and vol. 17 (1952), pp. 43–58. See Erratum, ibid., vol. 17, p. iv. - G. Kreisel. Some elementary inequalities. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 (1952), pp. 334–338; also Indagationes mathematicae, vol. 14 (1942), pp. 334–338.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
- Print publication:
- March 1953
-
- Article
- Export citation
Rulon S. Wells. Frege's ontology. The review of metaphysics, vol. 4 no. 4 (1951), pp. 537–573.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
- Print publication:
- March 1953
-
- Article
- Export citation
Henry Löwig. On transitive Boolean relations. Czechoslovak mathematical journal, vol. 1 (76) no. 4 (1952), pp. 199–201.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- March 1953
-
- Article
- Export citation
Arithmetical problems and recursively enumerable predicates1
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-41
- Print publication:
- March 1953
-
- Article
- Export citation
R. C. Lyndon. Identities in two-valued calculi. Transactions of the American Mathematical Society, vol. 71 (1951), pp. 457–465.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
- Print publication:
- March 1953
-
- Article
- Export citation
On truth and multiple denotation
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 11-18
- Print publication:
- March 1953
-
- Article
- Export citation
W. Mays and D. P. Henry. Exhibition of the work of W. Stanley Jevons. Nature, vol. 170 (1952), pp. 696–697.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- March 1953
-
- Article
- Export citation
John Myhill. A derivation of number theory from ancestral theory. The journal of symbolic logic, Bd. 17 (1952), pp. 192–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
- Print publication:
- March 1953
-
- Article
- Export citation
Kurt Schütte. Beweistheoretische Untersuchung der verzweigten Analysis. Mathematische Annalen, Bd. 124 (1952), S. 123–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1953
-
- Article
- Export citation
Certain predicates defined by induction schemata
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-59
- Print publication:
- March 1953
-
- Article
- Export citation
Concatenation as basis for a complete system of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 1 / March 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-6
- Print publication:
- March 1953
-
- Article
- Export citation