Journal of Symbolic Logic

The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.


Volume 24, Issue 4

Publication Date: December, 1959

Volume Information

Miscellaneous front pages, J. Symbolic Logic, Volume 24, Issue 4 (1959)

On the Axiom of Extensionality, Part II

R. O. Gandy; 287-300

A Simple Treatment of Truth Functions

Alan Ross Anderson and Nuel D. Belnap; 301-302

On the Construction of Venn Diagrams

Trenchard More; 303-304

Axioms for the "Gergonne"-Relations

Ivo Thomas and Don Orth; 305

Horn Sentences in Identity Theory

K. I. Appel; 306-310

Enumeration of Recursive Sets

Yoshindo Suzuki; 311

Twenty-Fourth Annual Meeting of the Association for Symbolic Logic

Alan Ross Anderson; 312-326

List of Officers and Members of the Association for Symbolic Logic

327-344

Index of Reviews

345-374

Errata

Miscellaneous back pages, J. Symbolic Logic, Volume 24, Issue 4 (1959)


2013 © Association for Symbolic Logic