Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 32
Volume 32, Number 1, March 1967
- Nuel D. Belnap Jr.:
Intensional Models for First Degree Formulas. 1-22 - H. Jerome Keisler:
Ultraproducts which are not Saturated. 23-46 - H. Jerome Keisler:
Ultraproducts of Finite Sets. 47-57 - M. J. Cresswell:
Note on a System of Aqvist. 58-60 - C. C. Chang:
Omitting Types of Prenex Formulas. 61-74 - John Riser:
A Gentzen-Type Calculus of Sequents for Single-Operator Propositional Logic. 75-80 - Dag Prawitz:
A Note on Existential Instantiation. 81-82 - Storrs McCall:
Connexive Class Logic. 83-90 - Gerald J. Massey:
Binary Connectives Functionally Complete by Themselves in S5 Modal Logic. 91-92 - Frederic Brenton Fitch:
A Complete and Consistent Modal Set Theory. 93-103
Volume 32, Number 2, June 1967
- Mariko Yasugi:
Interpretations of Set Theory and Ordinal Number Theory. 145-161 - Robert W. Robinson:
Simplicity of Recursively Enumerable Sets. 162-172 - James C. Owings Jr.:
Recursion, Metarecursion, and Inclusion. 173-179 - Robert A. Di Paola:
Some Theorems on Extensions of Arithmetic. 180-189 - Ronald L. Graham:
On n-Valued Functionally Complete Truth Functions. 190-195 - James Thomson:
Proof of the Law of Infinite Conjunction using the Perfect Disjunctive Normal Form. 196-197 - William W. Tait:
Intensional Interpretations of Functionals of Finite Type I. 198-212 - Bruce Lercher:
Strong Reduction and Normal Form in Combinatory Logic. 213-223 - J. Roger Hindley:
Axioms for Strong Reduction in Combinatory Logic. 224-236 - Bruce Lercher:
The Decidability of Hindley's Axioms for Strong Reduction. 237-239
Volume 32, Number 3, September 1967
- Ralph Kopperman:
The L omega1, omega1 -Theory of Hilbert Spaces. 295-304 - E. G. K. López-Escobar:
Remarks on an Infinitary Language with Constructive Formulas. 305-318 - Leslie H. Tharp:
On a Set Theory of Bernays. 319-321 - K. I. Appel:
There Exist Two Regressive Sets Whose Intersection is Not Regressive. 322-324 - Julia Robinson:
An Introduction to Hyperarithmetical Functions. 325-342 - Akiko Kino:
Correction to a Paper on Definability of Ordinals in Infinite Logic. 343-344 - Richmond H. Thomason, Hugues Leblanc:
All or None: A Novel Choice of Primitives for Elementary Logic. 345-351 - Wilson E. Singletary:
A Note on Finite Axiomatization of Partial Propositional Calculi. 352-354 - John L. Pollock:
Basic Modal Logic. 355-365 - Vladimir Devide:
A Proof of Zermelo's Theorem. 366 - Carol R. Karp:
Nonaxiomatizability Results for Infinitary Systems. 367-384 - John Alan Robinson, Norman M. Martin:
Meeting of the Association for Symbolic Logic. 430
Volume 32, Number 4, December 1967
- Herbert B. Enderton:
An Infinitistic Rule of Proof. 447-451 - Kanji Namba:
N0-Complete Cardinals and Transcendency of Cardinals. 452-472 - Robert L. Vaught:
Axiomatizability by a Schema. 473-479 - J. Jay Zeman:
A System of Implicit Quantification. 480-504 - M. D. Gladstone:
A Reduction of the Recursion Scheme. 505-508 - H. A. Schmidt, K. Schutte, Ernst-Jochen Thiele, M. J. Cresswell:
Meeting of the Association for Symbolic Logic. 556-577
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-05 21:07 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:
