![](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 71
Volume 71, Number 1, 15 January 1995
- Harvey Friedman, Michael Sheard:
Elementary Descent Recursion and Proof Theory. 1-45 - Gaisi Takeuti:
Separations of Theories in Weak Bounded Arithmetic. 47-67 - Daniel E. Talayco:
Applications of Cohomology to Set Theory I: Hausdorff Gaps. 69-106
Volume 71, Number 2, 1 February 1995
- Ludomir Newelski:
A Model and Its Subset: The Uncountable Case. 107-129 - Marek W. Zawadowski
:
Descent and Duality. 131-188
Volume 71, Number 3, 15 February 1995
- Silvio Ghilardi
:
An Algebraic Theory of Normal Forms. 189-245 - Lawrence S. Moss:
Power Set Recursion. 247-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.