9 results
8 - On Rawls and Political Liberalism
-
-
- Book:
- The Cambridge Companion to Rawls
- Published online:
- 28 May 2006
- Print publication:
- 04 November 2002, pp 316-346
-
- Chapter
- Export citation
Annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 636-644
- Print publication:
- January 1969
-
- Article
- Export citation
A supplement to Herbrand
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-398
- Print publication:
- 02 September 1966
-
- Article
- Export citation
William Craig. Linear reasoning. A new form of the Herbrand-Gentzen theorem. The journal of symbolic logic, vol. 22 (1957), pp. 250–268. - William Craig. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. The journal of symbolic logic, vol. 22 (1957), pp. 269–285.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- September 1959
-
- Article
- Export citation
Twenty-second annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-111
- Print publication:
- March 1958
-
- Article
- Export citation
John Myhill. A finitary metalanguage for extended basic logic. The journal of symbolic logic, vol. 17 (1952), pp. 164–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
- Print publication:
- March 1955
-
- Article
- Export citation
Frederic B. Fitch. A simplification of basic logic. The journal of symbolic logic, vol. 18 (1953), pp. 317–325. - Frederic B. Fitch. A definition of negation in extended basic logic. The journal of symbolic logic, vol. 19 (1954), pp. 29–36. See Errata, ibid., p. vi.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
- Print publication:
- March 1955
-
- Article
- Export citation
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic, vol. 16 (1951), pp. 22–34. See Errata, ibid., p. iv.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
- Print publication:
- December 1951
-
- Article
- Export citation
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 (1948), pp. 177–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 4 / January 1950
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-260
- Print publication:
- January 1950
-
- Article
- Export citation