![](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 102
Volume 102, Numbers 1-2, 3 March 2000
- Dafa Li, Peifa Jia, Xinxin Li:
Simplifying von Plato's Axiomatization of Constructive Apartness Geometry. 1-26 - Fred Appenzeller:
Classification Theory through Stationary Logic. 27-68 - Vladimir Kanovei
:
Linearization of Definable Order Relations. 69-100 - Ronald B. Jensen, Martin Zeman:
Smooth Categories and Global square. 101-138 - Joel David Hamkins
, Simon Thomas:
Changing the Heights of Automorphism Towers. 139-157 - Mário J. Edmundo:
Structure Theorems for o-Minimal Expansions of Groups. 159-181
Volume 102, Number 3, 15 April 2000
- Silvio Ghilardi:
Best Solving Modal Equations. 183-198 - Arthur W. Apter, James Cummings
:
A Global Version of a Theorem of Ben-David and Magidor. 199-222 - Ulrich Kohlenbach:
Things That Can and Things That Cannot Be Done in PRA. 223-245 - Antonio Bucciarelli, Thomas Ehrhard:
On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. 247-282 - Alexej P. Pynko:
Erratum to "Definitional Equivalence and Algebraizability of Generalized Logical Systems". 283-284
![](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.