Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 22
Volume 22, Number 1, March 1957
- Leon Henkin:
A Generalization of the Concept of omega-Completeness. 1-14 - Ivo Thomas:
Eulerian Syllogistic. 15-16 - Robert Blanche:
Sur La Structuration du Tableau Des Connectifs Interpropositionnels Binaires. 17-18 - Theodore Hailperin:
A Theory of Restricted Quantification I. 19-35 - Andrzej Ehrenfeucht:
Two Theories with Axioms Built by Means of Pleonasms. 36-38 - Hilary Putnam:
Decidability and Essential Undecidability. 39-54 - Raymond M. Smullyan:
Languages in Which Self Reference is Possible. 55-67 - L. Gal:
Twenty-First Annual Meeting of the Association for Symbolic Logic. 105-112
Volume 22, Number 2, June 1957
- Theodore Hailperin:
A Theory of Restricted Quantification II. 113-129 - N. J. Fine, Ronald Harrop:
Uniformization of Linear Arrays. 130-140 - Kurt Bing:
On the Axioms of Order and Succession. 141-144 - Hao Wang:
The Axiomatization of Arithmetic. 145-158 - Richard Friedberg:
A Criterion for Completeness of Degrees of Unsolvability. 159-160 - Solomon Feferman:
Degrees of Unsolvability Associated with Classes of Formalized Theories. 161-175 - E. J. Lemmon:
New Foundations for Lewis Modal Systems. 176-186 - A. H. Lightstone, Abraham Robinson:
On the Representation of Herbrand Functions in Algebraically Closed Fields. 187-204
Volume 22, Number 3, September 1957
- L. Jonathan Cohen:
Can the Logic of Indirect Discourse be Formalised? 225-232 - Bernard K. Symonds, Roderick M. Chisholm:
Inference by Complementary Elimination. 233-236 - Henryk Hiz:
Inferential Equivalence and Natural Deduction. 237-240 - Alan Ross Anderson:
Independent Axiom Schemata for Von Wright's M. 241-244 - K. Jaakko, Jaakko Hintikka:
Vicious Circle Principle and the Paradoxes. 245-249 - William Craig:
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem. 250-268 - William Craig:
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. 269-285
Volume 22, Number 4, December 1957
- Joyce Friedman:
Some Results in Church's Restricted Recursive Arithmetic. 337-342 - Frederic Brenton Fitch:
A Definition of Existence in Terms of Abstraction and Disjunction. 343-344 - Hugues Leblanc:
On Logically False Evidence Statements. 345-349
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-04-25 05:28 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:
