13629 results in The Journal of Symbolic Logic
Norman Kretzmann. Semantics, history of. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 358–406.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
- Print publication:
- June 1970
-
- Article
- Export citation
Raziel Abelson. Definition. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 314–324.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
- Print publication:
- June 1970
-
- Article
- Export citation
Kenneth Kunen. Implicit definability and infinitary languages. The journal of symbolic logic, vol. 33 (1968), pp. 446–451.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
- Print publication:
- June 1970
-
- Article
- Export citation
Max Black. Ramsey, Frank Plumpton. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 65–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
- Print publication:
- June 1970
-
- Article
- Export citation
Rolf Schock. Some definitions of subjunctive implication, of counterfactual implication, and of related concepts. Notre Dame journal of formal logic, vol. 2 (1961), pp. 206–221. - Rolf Schock. A note on subjunctive and counterfactual implication. Notre Dame journal of formal logic, vol. 3 (1962), pp. 289–290.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 319
- Print publication:
- June 1970
-
- Article
- Export citation
Zeno Vendler. Any and all. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 131–133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- June 1970
-
- Article
- Export citation
R. L. Goodstein and J. Hooley. On recursive transcendence. Notre Dame journal of formal logic, vol. 1 (1960), pp. 127–137.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
- Print publication:
- June 1970
-
- Article
- Export citation
Shôji Maehara. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 (1962), pp. 55–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
- Print publication:
- June 1970
-
- Article
- Export citation
Alan R. White. Coherence theory of truth. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 130–133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
- Print publication:
- June 1970
-
- Article
- Export citation
Mary Hesse. Simplicity. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 445–448.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
- Print publication:
- June 1970
-
- Article
- Export citation
Henri Moscovici and Dan Radu. Application de la théorie des catégories dans la logique formelle. Revue roumaine de mathématiques pures et appliquées, vol. 9 (1964), pp. 971–977.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- June 1970
-
- Article
- Export citation
G. Kreisel. The axiom of choice and the class of hyperarithmetic functions. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 65 (1962), pp. 307–319; also Indagationes mathematicae, vol. 24 (1962), pp. 307–319.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
- Print publication:
- June 1970
-
- Article
- Export citation
On initial segments of hyperdegrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-197
- Print publication:
- June 1970
-
- Article
- Export citation
A model theoretic characterization of effective operations
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-222
- Print publication:
- June 1970
-
- Article
- Export citation
Gerald M. Weinberg. Computing machines. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 168–173.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
- Print publication:
- June 1970
-
- Article
- Export citation
Eugen Mihăilescu. Forme normale in ansamblul S(C) (Formes normales dans l'ensembles S(C)). Roumanian with Russian and French summaries. Buletin ştiinţific, Secţia de ştiinţe matematice şi fizice, vol. 8 (1956), pp. 329–361. - Eugen Mihăilescu. Generalization of some normal forms.Revue de mathématiques pures et appliquées, vol. 8 no. 1 (1963), pp. 101–115.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- June 1970
-
- Article
- Export citation
Yehoshua Bar-Hillel. Types, theory of. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 168–172.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
- Print publication:
- June 1970
-
- Article
- Export citation
JSL volume 35 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1970
-
- Article
-
- You have access
- Export citation
Czesław Lejewski. Ancient logic. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 513–520. - J. F. Staal. Indian logic. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 520–523. - A. C. Graham. Chinese logic. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 523–525. - Nicholas Rescher. Arabic logic. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 525–527. - Ernest A. Moody. Medieval logic. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 528–534. - Ivo Thomas. Interregnum. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 534–537. - Ivo Thomas. Leibniz. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 537–539. - Ivo Thomas. Euler. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, p. 539. - Ivo Thomas. Lambert and Ploucquet. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 539–540. - Yehoshua Bar-Hillel. Bolzano. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 540–541.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-310
- Print publication:
- June 1970
-
- Article
- Export citation
Charles Parsons. Mathematics, foundations of. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 188–213.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
- Print publication:
- June 1970
-
- Article
- Export citation