![](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 38
Volume 38, Number 1, April 1988
- Lev Gordeev:
Proof-theoretical analysis: weak systems of functions and classes. 1-121
Volume 38, Number 2, May 1988
- Edward Nelson:
The syntax of nonstandard analysis. 123-134 - Ulf R. Schmerl:
Diophantine equations in fragments of arithmetic. 135-170 - Saharon Shelah
:
A graph which embeds all small graphs on any large set of vertices. 171-183 - Gabriel Srour:
The notion of independence in categories of algebraic structures, part I: Basic properties. 185-213
Volume 38, Number 3, June 1988
- Andreas Blass:
Selective ultrafilters and homogeneity. 215-255 - Patrick Dehornoy:
φ11-complete families of elementary sequences. 257-287 - Akira Kanda:
Recursion theorems and effective domains. 289-300 - Robert S. Lubarsky:
Another extension of Van de Wiele's theorem. 301-306
![](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.