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