![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
The Journal of Symbolic Logic, Volume 24
Volume 24, Number 1, March 1959
- Saul Kripke:
A Completeness Theorem in Modal Logic. 1-14 - William W. Tait:
A Counterexample to a Conjecture of Scott and Suppes. 15-16 - B. Dunham, R. Fridshal:
The Problem of Simplifying Logical Expressions. 17-19 - Toshio Umezawa:
On Intermediate Propositional Logics. 20-36 - Paul Lorenzen, John R. Myhill:
Constructive Definition of Certain Analytic Sets of Numbers. 37-49
Volume 24, Number 2, June 1959
- Michael Dummett:
A Propositional Calculus with Denumerable Matrix. 97-106 - Alan Ross Anderson, Nuel Belnap:
Modalities in Ackermann's "Rigorous Implication". 107-111 - Heinrich Behmann:
Der Pradikatenkalkul mit Limitierten Variablen Grundlegung Einer Naturlichen Exakten Logik. 112-140 - Toshio Umezawa:
On Logics Intermediate between Intuitionistic and Classical Predicate Logic. 141-153 - Azriel Levy:
On Ackermann's Set Theory. 154-166
Volume 24, Number 3, September 1959
- Henryk Hiz:
Extendible Sentential Calculus. 193-202 - Hugo Ribeiro:
Summer Meeting of the Association for Symbolic Logic. 281-286
Volume 24, Number 4, December 1959
- Robin O. Gandy:
On the Axiom of Extensionality, Part II. 287-300 - Alan Ross Anderson, Nuel Belnap:
A Simple Treatment of Truth Functions. 301-302 - Trenchard More Jr.:
On the Construction of Venn Diagrams. 303-304 - Ivo Thomas, Don Orth:
Axioms for the "Gergonne"-Relations. 305 - K. I. Appel:
Horn Sentences in Identity Theory. 306-310 - Yoshindo Suzuki:
Enumeration of Recursive Sets. 311 - Alan Ross Anderson:
Twenty-Fourth Annual Meeting of the Association for Symbolic Logic. 312-326
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.