Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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
a service of 
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.
last updated on 2023-06-01 23:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
