default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 63
Volume 63, Number 1, 20 August 1993
- Dag Prawitz, Dag Westerståhl:
Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science. Ann. Pure Appl. Log. 63(1): 1 (1993) - Klaus Ambos-Spies, Richard A. Shore:
Undecidability and 1-Types in the Recursively Enumerable Degrees. 3-37 - William C. Calhoun
:
Incomparable Prime Ideals of Recursively Enumerable Degrees. 39-56 - A. N. Degtev:
On p-Reducibility of Numerations. 57-60 - Antonín Kucera:
On Relative Randomness. 61-67 - Dmitrij P. Skvortsov, Valentin B. Shehtman:
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics. 69-101
Volume 63, Number 2, 10 September 1993
- Stephen A. Cook, Alasdair Urquhart:
Functional Interpretations of Feasibly Constructive Arithmetic. 103-200
Volume 63, Number 3, 24 September 1993
- Balázs Biró, Ildikó Sain:
Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics. 201-225 - Moti Gitik:
On Measurable Cardinals Violating the Continuum Hypothesis. 227-240 - Geoffrey R. Hird:
Recursive Properties of Relations on Models. 241-269 - Alain Louveau, Saharon Shelah, Boban Velickovic:
Borel Partitions of Infinite Subtrees of a Perfect Tree. 271-281 - Yves Péraire:
Infinitesimal Approach of Almost-Automorphic Functions. 283-297
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 2025-01-31 22:50 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:
