Admissible sets and structures : an approach to definability theory /

Autor Barwise, Jon, 1942-2000
Vydáno 1975

Handbook of mathematical logic /

Vydáno 1977

Model-theoretic logics /

Vydáno 1985

Spravočnaja kniga po matematičeskoj logike. Čast' IV, Teorija dokazatel'stv i konstruktivnaja matematika /

Vydáno 1983