Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 21
Volume 21, Number 1, March 1956
- John G. Kemeny:
A New Approach to Semantics-Part I. 1-27 - Leon Henkin:
Two Concepts From the Theory of Models. 28-32 - Abraham Robinson:
Note on a Problem of L. Henkin. 33-35 - Robin O. Gandy:
On the Axiom of Extensionality-Part I. 36-48 - John R. Myhill:
Solution of a Problem of Tarski. 49-51 - Irving M. Copi:
Another Variant of Natural Deduction. 52-55 - Alan Cobham:
Reduction to a Symmetric Predicate. 56-59 - A. N. Prior:
Modality and Quantification in S5. 60-62 - M. H. Lob:
Formal Systems of Constructive Mathematics. 63-75 - Irving M. Copi, R. L. Wilder:
Nineteenth Meeting of the Association for Symbolic Logic. 109-112
Volume 21, Number 2, June 1956
- Wilhelm Ackermann:
Begrundung Einer Strengen Implikation. 113-128 - Richard Montague, Leon Henkin:
On the Definition of 'Formal Deduction'. 129-136 - John C. Shepherdson:
On the Interpretation of Aristotelian Syllogistic. 137-147 - Willard Van Orman Quine:
On Formulas with Valid Cases. 148 - John G. Kemeny:
A New Approach to Semantics-Part II. 149-161 - Raphael M. Robinson:
Arithmetical Representation of Recursively Enumerable Sets. 162-186 - G. D. W. Berry:
Twentieth Meeting of the Association for Symbolic Logic. 216-224
Volume 21, Number 3, September 1956
- K. Jaakko, Jaakko Hintikka:
Identity, Variables, and Impredicative Definitions. 225-245 - Steven Orey:
On omega-Consistency and Related Properties. 246-252 - Kurt Bing:
On Simplifying Truth-Functional Formulas. 253-254 - Alan Ross Anderson:
Independent Axiom Schemata for S5. 255-256 - Gustav Bergmann:
The Representations of S5. 257-260 - John C. Shepherdson:
Note on a System of Myhill. 261-264 - Gideon Schwarz:
A Note on Transfinite Iteration. 265-266 - Willard Van Orman Quine:
Unification of Universes in Set Theory. 267-279 - Steven Orey:
On the Relative Consistency of Set Theory. 280-290 - Elliott Mendelson:
Some Proofs of Independence in Axiomatic Set Theory. 291-303 - H. Gordon Rice:
On Completely Recursively Enumerable Classes and Their Key Arrays. 304-308
Volume 21, Number 4, December 1956
- Frederic Brenton Fitch:
Recursive Functions in Basic Logic. 337-346 - E. J. Lemmon:
Alternative Postulate Sets for Lewis's S5. 347-349 - Elliott Mendelson:
The Independence of a Weak Axiom of Choice. 350-366
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-10 19:44 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:
