Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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
a service of 
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.
last updated on 2024-05-08 01:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
