Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarThe Journal of Symbolic Logic, Volume 57
Volume 57, Number 1, March 1992
- Andrew M. Pitts:
On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. 33-52 - Albert Visser:
An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta0+Omega1 with a Propositional Constant for EXP. 131-165 - Douglas Albert, Robert Baldinger, John Rhodes:
Undecidability of the Identity Problem for Finite Semigroups. 179-192 - Victor Harnik, Michael Makkai:
Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. 200-230
Volume 57, Number 2, June 1992
- Athanassios Tzouvaras:
On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory. 452-460 - Zofia Adamowicz:
A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension Problem. 597-616 - Valentina S. Harizanov, Martin Kummer, James C. Owings:
Frequency Computations and the Cardinality Theorem. 682-687
Volume 57, Number 3, September 1992
- Jean-Louis Duret:
Équivalence élémentaire et Isomorphisme des Corps de Courbe sur un Corps Algébriquement Clos. 808-823 - Klaus Ambos-Spies, André Nies, Richard A. Shore:
The Theory of the Recursively Enumerable Weak Truth-Table Degrees Is Undecidability. 864-874 - M. D. G. Swaen:
A Characterization of ML in Many-Sorted Arithmetic with Conditional Application. 924-953 - Michael Rathjen:
A Proof-Theoretic Characterization of the Primitive Recursive Set Functions. 954-969 - Gerhard Jäger, Barbara Primo:
About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. 1108-1119 - Steffen Lempp, Manuel Lerman:
The Existential Theory of the Pomset of r.e. Degrees with a Predicate for Single Jump Reducibility. 1120-1130
Volume 57, Number 4, December 1992
- Ulrich Kohlenbach:
Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization. 1239-1273 - Dov M. Gabbay, Ruy J. G. B. de Queiroz:
Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. 1319-1365 - Alexandre V. Borovik, Ali Nesin:
On the Schur-Zassenhaus Theorem for Groups of Finite Morley Rank. 1469-1477
maintained by 
at 
at 
last updated on 2018-06-17 21:32 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint