Login / Signup

Constructing omega-stable structures: model completeness.

John T. BaldwinKitty L. Holland
Published in: Ann. Pure Appl. Log. (2004)
Keyphrases