Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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
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 2024-04-18 21:13 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:
