![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
The Bulletin of Symbolic Logic, Volume 16
Volume 16, Number 1, March 2010
- Peter Koellner:
Strong logics of first and second order. 1-36 - Paul Corazza:
The Axiom of Infinity and transformations j: V -> V. 37-84
Volume 16, Number 2, June 2010
- Kevin C. Klement:
The senses of functions in the Logic of Sense and Denotation. 153-188 - Yiannis N. Moschovakis:
Kleene's amazing Second Recursion Theorem. 189-239 - Dilip Raghavan:
Almost disjoint families and diagonalizations of length continuum. 240-260 - Alice Medvedev, Ramin Takloo-Bighash:
An invitation to model-theoretic Galois theory. 261-269
Volume 16, Number 3, September 2010
- Kentaro Fujimoto:
Relative truth definability of axiomatic truth theories. 305-344 - Samuel Coskey
, Roman Kossak:
The complexity of classification problems for models of arithmetic. 345-358 - Colin McLarty:
What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory. 359-377 - Richard A. Shore:
Reverse mathematics: the playground of logic. 378-402
Volume 16, Number 4, December 2010
- Parosh Aziz Abdulla:
Well (and better) quasi-ordered transition systems. 457-515 - Alasdair Urquhart:
Von Neumann, Gödel and complexity theory. 516-530
![](https://dblp.dagstuhl.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.