Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 19
Volume 19, Number 1, March 1954
- Nicholas Rescher:
Leibniz's Interpretation of His Logical Calculi. 1-13 - Theodore Hailperin:
Remarks on Identity and Description in First-Order Axiom Systems. 14-20 - Joseph R. Shoenfield:
A Relative Consistency Proof. 21-28 - Frederic Brenton Fitch:
A Definition of Negation in Extended Basic Logic. 29-36 - Moh Shaw-Kwei:
Logical Paradoxes for Many-Valued Systems. 37-40 - N. J. Fine:
Proof of a Conjecture of Goodman. 41-44 - Norman M. Martin:
The Sheffer Functions of 3-Valued Logic. 45-51
Volume 19, Number 2, June 1954
- Paul Bernays:
A System of Axiomatic Set Theory-Part VII. 81-96 - Willard Van Orman Quine:
Interpretations of Sets of Conditions. 97-102 - Abraham Robinson:
On Predicates in Algebraically Closed Fields. 103-114
Volume 19, Number 3, September 1954
- William Tuthill Parry:
A New Symbolism for the Propositional Calculus. 161-168 - Gerald B. Standley:
Ideographic Computation in the Propositional Calculus. 169-171 - Jan Kalicki:
An Undecidable Problem in the Algebra of Truth-Tables. 172-176 - Willard Van Orman Quine:
Quantification and the Empty Domain. 177-179 - Willard Van Orman Quine:
Reduction to a Dyadic Predicate. 180-182 - Leon Henkin:
A Generalization of the Concept of |omega-Consistency. 183-196 - Vaclav Edvard Benes:
A Partial Model for Quine's "New Foundations". 197-200 - Alan Ross Anderson:
Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M. 201-214
Volume 19, Number 4, December 1954
- Hao Wang:
The Formalization of Mathematics. 241-266 - R. L. Goodstein:
The Recursive Irrationality of |pi. 267-274 - George E. Collins:
Distributivity and An Axiom of Choice. 275-277
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-07-26 19:41 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:
