Volume 141, Numbers 1-2, August 2006
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/apal/BarmpaliasL06 export record as
dblp key:
journals/apal/CalvertCHM06 export record as
dblp key:
export record as
dblp key:
journals/apal/GerhardyK06 export record as
dblp key:
Monica Van Dieren :
Categoricity in abstract elementary classes with no maximal models.
108-147
export record as
dblp key:
Franco Montagna :
Interpolation and Beth's property in propositional many-valued logics: A semantic investigation.
148-179
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/apal/IshiharaP06 export record as
dblp key:
export record as
dblp key:
journals/apal/IshiharaMSV06
Volume 141, Number 3, September 2006 Papers presented at the Second St. Petersburg Days of Logic and Computability Conference on the occasion of the centennial of Andrey Andreevich Markov, Jr.
export record as
dblp key:
journals/apal/MatiyasevichA06 export record as
dblp key:
journals/apal/Beauquier06 export record as
dblp key:
journals/apal/Beltiukov06 export record as
dblp key:
journals/apal/ChernavskyL06 export record as
dblp key:
journals/apal/DekhtyarDV06 export record as
dblp key:
export record as
dblp key:
journals/apal/GrigorievV06 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dan E. Willard :
A generalization of the Second Incompleteness Theorem and some exceptions to it.
472-496
data released under the ODC-BY 1.0 license
