![](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 83
Volume 83, Number 1, 6 January 1997
- Kitty L. Holland:
Strongly Minimal Fusions of Vector Spaces. 1-22 - Jonathan P. Seldin:
On the Proof Theory of Coquand's Calculus of Constructions. 23-101
Volume 83, Number 2, 23 January 1997
- Alessandro Andretta, John R. Steel:
How to Win Some Simple Iteration Games. 103-164 - Kai Hauser, Greg Hjorth:
Strong Cardinals in the Core Model. 165-198
Volume 83, Number 3, 14 February 1997
- E. A. Cichon, Andreas Weiermann:
Term Rewriting Theory for the Primitive Recursive Functions. 199-223 - Jens Blanck:
Domain Representability of Metric Spaces. 225-247 - Alessandra Carbone
:
Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus. 249-299
![](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.