default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 30
Volume 30, Number 1, March 1965
- Gaisi Takeuti:
Transcendence of Cardinals. 1-7 - Robert W. House, Tibor Rado:
A Generalization of Nelson's Algorithm for Obtaining Prime Implicants. 8-12 - William Craig:
Satisfaction for n-th Order Languages Defined in n-th Order Languages. 13-25 - A. F. Bausch:
Modus Ponens Under Hypothesis. 26 - Theodore Hailperin:
An Incorrect Theorem. 27 - E. Mark Gold:
Limiting Recursion. 28-48 - Hilary Putnam:
Trial and Error Predicates and the Solution to a Problem of Mostowski. 49-57 - R. A. Bull:
An Algebraic Study of Diodorean Modal Systems. 58-64 - M. J. Cresswell:
On the Logic of Incomplete Answers. 65-68 - Gustav Hensel, Hilary Putnam:
On the Notational Independence of Various Hierarchies of Degrees of Unsolvability. 69-86
Volume 30, Number 2, June 1965
- Daniel E. Anderson, Frank L. Cleaver:
Venn-Type Diagrams for Arguments of N Terms. 113-118 - William Tuthill Parry:
Comments on a Variant Form of Natural Deduction. 119-122 - Raymond M. Smullyan:
Analytic Natural Deduction. 123-139 - T. Thacher Robinson:
Interpretations of Kleene's Metamathematical Predicate T I A in Intuitionistic Arithmetic. 140-154 - William W. Tait:
Functionals Defined by Transfinite Recursion. 155-174 - William W. Tait:
The Substitution Method. 175-192 - Wayne Richter:
Extensions of the Constructive Ordinals. 193-211 - H. Jerome Keisler:
Limit Ultraproducts. 212-234 - J. Donald Monk:
Annual Meeting of the Association for Symbolic Logic. 260-270
Volume 30, Number 3, September 1965
- Ronald Harrop:
Some Structure Results for Propositional Calculi. 271-292 - Alexander Abian, Samuel Lamacchia:
Some Consequences of the Axiom of Power-Set. 293-294 - Gaisi Takeuti:
A Formalization of the Theory of Ordinal Numbers. 295-317 - Georg Kreisel, Gerald E. Sacks:
Metarecursive Sets. 318-338 - H. Jerome Keisler:
Some Applications of Infinitely Long Formulas. 339-349 - Robert W. Ritchie:
A Rudimentary Definition of Addition. 350-354
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-10-31 20:15 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:
