default search action
The Journal of Symbolic Logic, Volume 28
Volume 28, Number 1, March 1963
- Alistair H. Lachlan:
Recursive Real Numbers. 1-16 - Norman Shapiro:
Functions which Remain Partial Recursive Under all Similarity Transformations. 17-19 - A. H. Kruse:
A Method of Modelling the Formalism of Set Theory in Axiomatic Set Theory. 20-34 - Shih-Chao Liu:
A Note on Many-One Reducibility. 35-42 - Lawrence Peter Belluce, C. C. Chang:
A Weak Completeness Theorem for Infinite Valued First-Order Logic. 43-50 - Ian Hacking:
What is Strict Implication? 51-71 - Alan Cobham:
Some Remarks Concerning Theories with Recursively Enumerable Complements. 72-74 - John R. Myhill:
Remark on a System of Bernays. 75-76 - Louise Schmir Hay:
Axiomatization of the Infinite-Valued Predicate Calculus. 77-86 - Frederic Brenton Fitch:
The System C triangle of Combinatory Logic. 87-97
Volume 28, Number 2, June 1963
- Timothy Smiley:
Relative Necessity. 113-134 - Frederic Brenton Fitch:
A Logical Analysis of Some Value Concepts. 135-142 - Shih-Chao Liu:
On Many-One Degrees. 143-153 - Stephen Cole Kleene:
An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. 154-156 - Keith Lehrer:
Descriptive Completeness and Inductive Methods. 157-160 - Thomas E. Patton:
On N-Adic Representation of Numbers. 161-163
Volume 28, Number 3, September 1963
- Aubert Daigneault:
Tensor Products of Polyadic Algebras. 177-200 - Leon Henkin:
An Extension of the Craig-Lyndon Interpolation Theorem. 201-216 - Atwell R. Turquette:
Independent Axioms for Infinite-Valued Logic. 217-221 - Melven R. Krom:
Separation Principles in the Hierarchy Theory of Pure First-Order Logic. 222-236 - Richard Goldberg:
On the Solvability of a Subclass of the Suranyi Reduction Class. 237-244 - E. J. Lemmon, M. A. E. Dummett, John N. Crossley:
Meeting of the Association for Symbolic Logic. 262-272
Volume 28, Number 4, December 1963
- Donald A. Martin:
A Theorem on Hyperhypersimple Sets. 273-278 - Curt John Ducasse, Haskell B. Curry:
Addendum to Early History of the Association for Symbolic Logic. 279 - Joseph S. Wholey:
Persistence and Herbrand Expansions. 280-282 - Carol R. Karp:
Twenty-Eighth Annual Meeting of the Association for Symbolic Logic. 297-308
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-11-27 20:17 CET 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: