![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 99
Volume 99, Numbers 1-3, 31 August 1999
- Olivier Chapuis
, Pascal Koiran:
Saturation and Stability in the Theory of Computation over the Reals. 1-49 - Slawomir Solecki:
Analytic Ideals and Their Applications. 51-72 - Karl-Heinz Niggl:
Momega Considered as a Programming Language. 73-92 - Samuel R. Buss, Grigori Mints:
The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic. 93-104 - Mirjana Borisavljevic:
A Cut-Elimination Proof in Intuitionistic Predicate Logic. 105-136 - Keith A. Kearnes
, Emil W. Kiss, Matthew Valeriote
:
A Geometric Consequence of Residual Smallness. 137-169 - Alain Louveau, Boban Velickovic
:
Analytic Ideals and Cofinal Types. 171-195 - Alexandre A. Ivanov, Dugald Macpherson:
Strongly Determined Types. 197-230 - Thierry Coquand:
A Boolean Model of Ultrafilters. 231-239 - Lawrence S. Moss:
Erratum to "Coalgebraic Logic": Ann. pure appl. logic 96 (1999) 277-317. 241-259
![](https://dblp.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.