Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 23
Volume 23, Number 1, March 1958
- L. Novak Gal:
A Note on Direct Products. 1-6 - Joseph R. Shoenfield:
Open Sentences and the Induction Axiom. 7-12 - Frederic Brenton Fitch:
An Extensional Variety of Extended Basic Logic. 13-21 - Burton S. Dreben:
Twenty-Second Annual Meeting of the Association for Symbolic Logic. 103-112
Volume 23, Number 2, June 1958
- Dana S. Scott, Patrick Suppes:
Foundational Aspects of Theories of Measurement. 113-128 - Kurt-R. Biermann, Jurgen Mau:
Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik. 129-132 - Ivo Thomas:
A 12th Century Paradox of the Infinite. 133-134 - A. N. Prior:
Peirce's Axioms for Propositional Calculus. 135-136 - I. L. Gal, J. Barkley Rosser, Dana S. Scott:
Generalization of a Lemma of G. F. Rose. 137-138 - Atwell R. Turquette:
Simplified Axioms for Many-Valued Quantification Theory. 139-148 - C. C. Chang, Anne C. Morel:
On Closure Under Direct Product. 149-154 - Georg Kreisel:
Mathematical Significance of Consistency Proofs. 155-182 - Martin Davis, Hilary Putnam:
Reductions of Hilbert's Tenth Problem. 183-187 - Andrzej Grzegorczyk, Andrzej Mostowski, Czeslaw Ryll-Nardzewski:
The Classical and the omega-Complete Arithmetic. 188-206
Volume 23, Number 3, September 1958
- Paul Lorenzen:
Logical Reflection and Formalism. 241-249 - Hao Wang:
Alternative Proof of a Theorem of Kleene. 250 - R. M. Martin:
A Formalization of Inductive Logic. 251-256 - Frank Harary:
Note on Carnap's Relational Asymptotic Relative Frequencies. 257-260 - A. N. Prior:
Epimenides the Cretan. 261-266 - Trevor Evans, P. B. Schwartz:
On Slupecki T-Functions. 267-270 - Angelo Margaris:
A Problem of Rosser and Turquette. 271-279 - Clifford Spector:
Measure-Theoretic Construction of Incomparable Hyperdegrees. 280-288 - William Craig, Robert L. Vaught:
Finite Axiomatizability Using Additional Predicates. 289-308 - Richard M. Friedberg:
Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication. 309-316 - Georg Kreisel:
Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae. 317-330 - Hartley Rogers Jr.:
Godel Numberings of Partial Recursive Functions. 331-341
Volume 23, Number 4, December 1958
- Georg Kreisel:
A Remark on Free Choice Sequences and the Topological Completeness Proofs. 369-388 - Joseph R. Shoenfield:
Degrees of Formal Systems. 389-392 - Sigekatu Kuroda:
An Investigation on the Logical Structure of Mathematics (V).1 Contradictions of Russell's Type. 393-407 - Michael O. Rabin:
On Recursively Enumerable and Arithmetic Models of Set Theory. 408-416 - R. L. Goodstein:
On the Formalisation of Indirect Discourse. 417-419 - L. Jonathan Cohen:
Professor Goodstein's Formalisation of the Policeman. 420 - Jean Porte:
Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation. 421-431 - R. M. Martin:
Twenty-Third Annual Meeting of the Association for Symbolic Logic. 456-461
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-25 21:45 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:
