The Journal of Symbolic Logic: Volume 36 -

Lennart Åqvist. A binary primitive in deontic logic. Logique et analyse, n.s. vol. 5 (1962), pp. 90–97.
William H. Hanson
Published online by Cambridge University Press:

12 March 2014, p. 519
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Michael O. Rabin. A simple method for undecidability proofs and some applications. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 38–68.
William Hanf
Published online by Cambridge University Press:

12 March 2014, p. 150
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Hans Hermes. Einführung in die Verbandstheorie. Second, enlarged edition of XXII 222. Springer-Verlag, Berlin-Heidelberg-New York1967, xii + 209 pp.
Pascual Jordan
Published online by Cambridge University Press:

12 March 2014, p. 677
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Peter Achinstein. Theoretical terms and partial interpretation. The British journal for the philosophy of science, vol. 14 (1963–1964), pp. 89–105.
H. Bohnert
Published online by Cambridge University Press:

12 March 2014, pp. 321-322
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Erik Stenius. The principles of a logic of normative systems. Proceedings of a Colloquium on Modal and Many-valued logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 247–260.
T. J. Smiley
Published online by Cambridge University Press:

12 March 2014, pp. 519-520
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Philip K. Hooper. The undecidability of the Turing machine immortality problem. The journal of symbolic logic, vol. 31 (1966), pp. 219–234.
Gabor T. Herman
Published online by Cambridge University Press:

12 March 2014, p. 150
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. P. Bowran. A Boolean algebra abstract and concrete. Macmillan & Co. Ltd, London, and St. Martin's Press, New York, 1965, vii + 93 pp.
Ann S. Ferebee
Published online by Cambridge University Press:

12 March 2014, p. 677
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Patrick Suppes and Joseph L. Zinnes. Basic measurement theory. Handbook of mathematical psychology, Volume I, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 1–76.
Robert L. Causey
Published online by Cambridge University Press:

12 March 2014, pp. 322-323
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Michael Anderson. Note on the mortality problem for shift state trees. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 275–276.
Philip K. Hooper
Published online by Cambridge University Press:

12 March 2014, p. 151
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Alan Ross Anderson. What do symbols symbolize?: Platonism. Philosophy of science, The Delaware seminar, Volume 1, 1961–1962, edited by Bernard Baumrin, Interscience Publishers, New York and London1963, pp. 137–151. - A. R. Anderson, B. Baumrin, W. Busse, T. Bynum, R. D. Gray, W. McCormack, W. Reese. Discussion. Philosophy of science, The Delaware seminar, Volume 1, 1961–1962, edited by Bernard Baumrin, Interscience Publishers, New York and London1963, pp. 151–158.
Joseph S. Ullian
Published online by Cambridge University Press:

12 March 2014, p. 323
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Moses Richardson. Fundamentals of mathematics. Revised edition of VII 46. The Macmillan Company, New York1958, xviii + 507 pp.; also third edition, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1966, xx + 603 pp.
William E. Gould
Published online by Cambridge University Press:

12 March 2014, p. 678
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Alan Ross Anderson. Completeness theorems for the systems E of entailment and EQ of entailment with quantification. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 201–216.
Stig Kanger
Published online by Cambridge University Press:

12 March 2014, p. 520
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Dean N. Arden. Delayed-logic and finite-state machines. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17–20, 1961, and papers from the First Annual Symposium, Chicago, III., October 9–14,1960, American Institute of Electrical Engineers, New York1961, pp. 133–151.
Robert McNaughton
Published online by Cambridge University Press:

12 March 2014, p. 151
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

E. J. Ashworth. Propositional logic in the sixteenth and early seventeenth centuries. Notre Dame journal of formal logic, vol. 9 no. 2 (for 1968, pub. 1969), pp. 179–192. - E. J. Ashworth. Petrus Fonseca and material implication. Notre Dame journal of formal logic, vol. 9 no. 3 (for 1968, pub. 1969), pp. 227–228.
Martin M. Tweedale
Published online by Cambridge University Press:

12 March 2014, pp. 323-324
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Richmond H. Thomason. Symbolic logic. An introduction. The Macmillan Company, Collier-Macmillan Limited, London1970, xiii + 367 pp.
Hans Hermes
Published online by Cambridge University Press:

12 March 2014, p. 678
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Nuel D. BelnapJr., EQ and the first order functional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 217–218.
Stig Kanger
Published online by Cambridge University Press:

12 March 2014, p. 520
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

James G. ColbertJr., La evolución de la lógica simbólica y sus implicaciones filosóficas. Ediciones Universidad de Navarra, S.A., Pamplona1968, 341 pp.
José Ferrater Mora
Published online by Cambridge University Press:

12 March 2014, pp. 324-325
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

R. J. Nelson. Introduction to automata.John Wiley & Sons, Inc., New York-London-Sydney1968, xii + 400 pp.
Robert McNaughton
Published online by Cambridge University Press:

12 March 2014, pp. 151-152
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Gerald J. Massey. Understanding symbolic logic. Harper & Row, Publishers, New York, Evanston, and London, 1970, xix + 428 pp.
Gordon Matthews
Published online by Cambridge University Press:

12 March 2014, pp. 678-679
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. R. Anderson and N. D. BelnapJr., First degree entailments. Mathematische Annalen, vol. 149 (1963), pp. 302–319.
Stig Kanger
Published online by Cambridge University Press:

12 March 2014, pp. 520-521
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 36 - December 1971

Reviews

Lennart Åqvist. A binary primitive in deontic logic. Logique et analyse, n.s. vol. 5 (1962), pp. 90–97.

Hans Hermes. Einführung in die Verbandstheorie. Second, enlarged edition of XXII 222. Springer-Verlag, Berlin-Heidelberg-New York1967, xii + 209 pp.

Peter Achinstein. Theoretical terms and partial interpretation. The British journal for the philosophy of science, vol. 14 (1963–1964), pp. 89–105.

Erik Stenius. The principles of a logic of normative systems. Proceedings of a Colloquium on Modal and Many-valued logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 247–260.

Philip K. Hooper. The undecidability of the Turing machine immortality problem. The journal of symbolic logic, vol. 31 (1966), pp. 219–234.

A. P. Bowran. A Boolean algebra abstract and concrete. Macmillan & Co. Ltd, London, and St. Martin's Press, New York, 1965, vii + 93 pp.

Patrick Suppes and Joseph L. Zinnes. Basic measurement theory. Handbook of mathematical psychology, Volume I, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 1–76.

Michael Anderson. Note on the mortality problem for shift state trees. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 275–276.

Moses Richardson. Fundamentals of mathematics. Revised edition of VII 46. The Macmillan Company, New York1958, xviii + 507 pp.; also third edition, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1966, xx + 603 pp.

Alan Ross Anderson. Completeness theorems for the systems E of entailment and EQ of entailment with quantification. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 201–216.

Richmond H. Thomason. Symbolic logic. An introduction. The Macmillan Company, Collier-Macmillan Limited, London1970, xiii + 367 pp.

Nuel D. BelnapJr., EQ and the first order functional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 217–218.

James G. ColbertJr., La evolución de la lógica simbólica y sus implicaciones filosóficas. Ediciones Universidad de Navarra, S.A., Pamplona1968, 341 pp.

R. J. Nelson. Introduction to automata.John Wiley & Sons, Inc., New York-London-Sydney1968, xii + 400 pp.

Gerald J. Massey. Understanding symbolic logic. Harper & Row, Publishers, New York, Evanston, and London, 1970, xix + 428 pp.

A. R. Anderson and N. D. BelnapJr., First degree entailments. Mathematische Annalen, vol. 149 (1963), pp. 302–319.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 36 - December 1971

Reviews