![](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
The Bulletin of Symbolic Logic, Volume 7
Volume 7, Number 1, March 2001
- Sergei N. Artëmov:
Explicit provability and constructive semantics. 1-36 - Thomas Scanlon
:
Diophantine geometry from model theory. 37-57
Volume 7, Number 2, June 2001
- Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore:
The prospects for mathematical logic in the twenty-first century. 169-196 - Jan Krajícek:
Tautologies from pseudo-random generators. 197-212 - Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu:
On the unusual effectiveness of logic in computer science. 213-236 - Lorenz Halbeisen, Saharon Shelah
:
Relations between some cardinals in the absence of the Axiom of Choice. 237-261
- Raf Cluckers
, Deirdre Haskell
:
Grothendieck rings of Z-valued fields. 262-269
Volume 7, Number 3, September 2001
- Ernest Schimmerling
, Martin Zeman:
Square in core models. 305-314 - Eric Jaligot:
Full Frobenius groups of finite Morley rank and the Feit-Thompson Theorem. 315-328 - Simon Thomas
:
On the complexity of the classification problem for torsion-free abelian groups of finite rank. 329-344 - Philip D. Welch
:
On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set. 345-360 - John D. Clemens, Su Gao
, Alexander S. Kechris:
Polish metric spaces: their classification and isometry groups. 361-375
Volume 7, Number 4, December 2001
- José Ferreirós:
The road to modern logic - An interpretation. 441-484 - Ernest Schimmerling
:
The ABC's of mice. 485-503 - Jouko A. Väänänen
:
Second-order logic and foundations of mathematics. 504-520
![](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.