Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 16
Volume 16, Number 1, March 1951
- Robert McNaughton:
A Theorem About Infinite-Valued Sentential Logic. 1-13 - Alfred Horn:
On Sentences Which are True of Direct Unions of Algebras. 14-21 - J. Barkley Rosser, Atwell R. Turquette:
Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness. 22-34 - John R. Myhill:
Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility. 35-42 - Maurice L'Abbe:
On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus. 43-45
Volume 16, Number 2, June 1951
- Paul Lorenzen:
Algebraische und Logistische Untersuchungen Über Freie Verbände. 81-106 - Andrzej Mostowski:
On the Rules of Proof in the Pure Functional Calculus of the First Order. 107-111 - Schiller Joe Scroggs:
Extensions of the Lewis System S5. 112-120 - Frederic Brenton Fitch:
A Demonstrably Consistent Mathematics - Part II. 121-124 - Raphael M. Robinson:
Arithmetical Definability of Field Elements. 125-126 - Soren Hallden:
On the Semantic Non-Completeness of Certain Lewis Calculi. 127-129 - John R. Myhill:
Towards a Consistent Set-Theory. 130-136
Volume 16, Number 3, September 1951
- John C. Shepherdson:
Inner Models for Set Theory - Part I. 161-190 - R. M. Martin, J. H. Woodger:
Toward an Inscriptional Semantics. 191-203 - Alan Rose:
Strong Completeness of Fragments of the Propositional Calculus. 204 - Clifford D. Firestone:
Thirteenth Meeting of the Association for Symbolic Logic. 236-240
Volume 16, Number 4, December 1951
- Georg Kreisel:
On the Interpretation of Non-Finitist Proofs - Part I. 241-267
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-06-19 21:49 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:
