default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 62
Volume 62, Number 1, 28 June 1993
- Jacqueline Vauzeilles:
Cut Elimination for the Unified Logic. 1-16
- Ernst-Jochen Thiele:
Preface: A selection of papers presented at the Logic Colloquium '89. Ann. Pure Appl. Log. 62(1): 19 (1993) - Kosta Dosen:
Rudimentary Kripke Models for the Intuitionistic Propositional Calculus. 21-49 - Harvey Friedman, Stephen G. Simpson
, Xiaokang Yu:
Periodic Points and Subsystems of Second-Order Arithmetic. 51-64 - Grigori Mints:
A Normal Form for Logical Derivations Implying One for Arithmetic Derivations. 65-79
Volume 62, Number 2, 5 July 1993
- John T. Baldwin:
Preface: A Selection of Papers Presented at the "Stability in Model Theory III" Conference. Ann. Pure Appl. Log. 62(2): 81 (1993) - David M. Evans, Ehud Hrushovski:
On the Automorphism Groups of Finite Covers. 83-112 - A. D. Greif, Michael C. Laskowski:
An Omitting Types Theorem for Saturated Structures. 113-118 - Bradd Hart, Anand Pillay, Sergei Starchenko:
Triviality, NDOP and Stable Varieties. 119-146 - Ehud Hrushovski:
A New Strongly Minimal Set. 147-166 - Annalisa Marcja, Mike Prest, Carlo Toffalori:
On the Undecidability of Some Classes of Abelian-by-Finite Groups. 167-173 - Anand Pillay, Philipp Rothmaler:
Unidimensional Modules: Uniqueness of Maximal Non-Modular Submodels. 175-181 - Mike Prest:
Remarks on Elementary Duality. 183-205
Volume 62, Number 3, 28 July 1993
- D. Kaddah:
Infima in the d.r.e. Degrees. 207-263 - Alexander Yakhnis, Vladimir Yakhnis:
Gurevich-Harrington's Games Defined by Finite Automata. 265-294
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-08 20:19 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:
