![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 60
Volume 60, Number 1, 24 February 1993
- Valentina S. Harizanov:
The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum. 1-30 - Thomas A. Nevins:
Degrees of Convex Dependence in Recursively Enumerable Vector Spaces. 31-47 - Michael Rathjen, Andreas Weiermann:
Proof-Theoretic Investigations on Kruskal's Theorem. 49-88
Volume 60, Number 2, 13 April 1993
- Ulrich Berger
:
Total Sets and Objects in Domain Theory. 91-117 - Gerhard Jäger:
Fixed Points in Peano Arithmetic with Ordinals. 119-132 - Martin Kummer, Frank Stephan
:
Weakly Semirecursive Sets and r.e. Orderings. 133-150 - Patrick Lincoln, Andre Scedrov
, Natarajan Shankar:
Linearizing Intuitionistic Implication. 151-177 - Siu-Ah Ng:
Loeb Extensions and Ultrapowers of Measures on Fragments. 179-189
Volume 60, Number 3, 6 May 1993
- Rodney G. Downey:
Every Recursive Boolean Algebra is Isomorphic to One with Incomplete Atoms. 193-206 - Sergei S. Goncharov, Alexander Yakhnis, Vladimir Yakhnis:
Some Effectively Infinite Classes of Enumerations. 207-235 - Kitty L. Holland:
Projective Geometries of Algebraically Closed Fields of Characteristic Zero. 237-260 - Renling Jin, H. Jerome Keisler:
Game Sentences and Ultrapowers. 261-274 - Margarita Otero
:
The Joint Embedding Property in Normal Open Induction. 275-290
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.