![](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 153
Volume 153, Numbers 1-3, April 2008
- Steffen van Bakel
, Stefano Berardi:
Preface. 1-2 - Stéphane Lengrand, Alexandre Miquel:
Classical Fomega, orthogonality and symmetric candidates. 3-20 - Koji Nakazawa, Makoto Tatsuta:
Strong normalization of classical natural deduction with disjunctions. 21-37 - Kentaro Kikuchi:
Call-by-name reduction and cut-elimination in classical logic. 38-65 - Noam Zeilberger:
On the unity of duality. 66-96 - Monika Seisenberger:
Programs from proofs using classical dependent choice. 97-110 - Stefano Berardi, Yoriyuki Yamagata
:
A sequent calculus for limit computable mathematics. 111-126
![](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.