The bulletin of symbolic logic
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
Table of contents
- 337
-
VArrigoni, Tatiana et al. | 2011
- 337
-
V = L and intuitive plausibility in set theory. A case studyArrigoni, T. et al. | 2011
- 361
-
On arbitrary sets and ZFCFerreirós, José et al. | 2011
- 394
-
Alan Turing and the foundations of computable analysisGherardi, Guido et al. | 2011
- 431
-
Open questions in reverse mathematicsMontalbán, Antonio et al. | 2011
- 455
-
A new proof of Friedman's conjectureYu, L. et al. | 2011
- 455
-
COMMUNICATIONS - A new proof of Friedman's conjectureYu, Liang et al. | 2011
- 462
-
S. Cook and P. Nguyen, Logical foundations of proof complexityAtserias, A. et al. | 2011
- 462
-
REVIEWS - S. Cook and P. Nguyen, Logical foundations of proof complexity.Atserias, Albert et al. | 2011
- 464
-
M. Lerman, A framework for priority arguments.Barmpalias, George et al. | 2011
- 467
-
I. Farah, All automorphisms of the Calkin algebra are inner.Schimmerling, Ernest et al. | 2011
- 471
-
In Memoriam: Gregory Hjorth, 1963-2011Kechris, A.S. et al. | 2011
- 471
-
IN MEMORIAM - In Memoriam: Gregory Hjorth, 1963-2011Kechris, Alexander S et al. | 2011
- 478
-
6th Conference on Computability in Europe, "Programs, proofs, processes", University of Azores, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010| 2011
- 480
-
17th Workshop on Logic, Language, Information, and Computation, (WoLLIC 2010), Brasilia, Brazil, July 6-9, 2010| 2011
- 480
-
17th Workshop on Logic, Language, Information, and Computation, (WoLLIC 2010), Brasília, Brazil, July 6-9, 2010| 2011
- 482
-
Notices| 2011