![](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 91
Volume 91, Number 1, 12 January 1998
- Bakhadyr Khoussainov:
Randomness, Computability, and Algebraic Specifications. 1-15 - Christophe Raffalli:
A Semantical Storage Operator Theorem for All Types. 17-31 - Carsten Butz
, Peter T. Johnstone:
Classifying Toposes for First-Order Theories. 33-58 - Henri Lombardi:
Relecture constructive de la théorie d'Artin-Schreier. 59-92
Volume 91, Numbers 2-3, 24 February 1998
- Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon:
Notions of Density That Imply Representability in Algebraic Logic. 93-190 - Joel David Hamkins
:
Destruction or Preservation as You Like It. 191-229 - Jean H. Gallier:
Typing Untyped lambda-Terms, or Reducibility Strikes Again! 231-270
![](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.