default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 20
Volume 20, Number 1, March 1955
- Abner Shimony:
Coherence and the Axioms of Confirmation. 1-28 - Vaclav Edvard Benes:
On the Consistency of an Axiom of Enumerability. 29-30 - Hao Wang:
Undecidable Sentences Generated by Semantic Paradoxes. 31-43 - E. W. Beth, Robert Feys:
The Amsterdam Meeting of the Association for Symbolic Logic. 90-94 - Steven Orey:
Formal Development of Ordinal Number Theory. 95-104
Volume 20, Number 2, June 1955
- Raymond J. Nelson:
Simplest Normal Truth Functions. 105-108 - Boleslaw Sobocinski:
Note on a Problem of Paul Bernays. 109-114 - M. H. Lob:
Solution of a Problem of Leon Henkin. 115-118 - Shen Yuting:
Two Semantical Paradoxes. 119-120 - Herman Rubin, Patrick Suppes:
A Note on Two-Place Predicates and Fitting Sequences of Measure Functions. 121-122 - Robert L. Stanley:
Simplified Foundations for Mathematical Logic. 123-139 - Richard Montague:
On the Paradox of Grounded Classes. 140 - Willard Van Orman Quine:
A Proof Procedure for Quantification Theory. 141-149 - Alan Ross Anderson:
Correction to a Paper on Modal Logic. 150 - Clifford Spector:
Recursive Well-Orderings. 151-163 - William Craig:
Eighteenth Meeting of the Association for Symbolic Logic. 200-206
Volume 20, Number 3, September 1955
- J. A. Faris:
The Gergonne Relations. 207-231 - Raymond J. Nelson:
Weak Simplest Normal Truth Functions. 232-234 - Lars Svenonius:
Definability and Simplicity. 235-250 - R. Sherman Lehman:
On Confirmation and Rational Betting. 251-262 - John G. Kemeny:
Fair Bets and Inductive Probabilities. 263-273
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-09-18 23:39 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:
