Login / Signup

An Interpolation Theorem for First Order Logic with Infinitary Predicates.

Tarek Sayed Ahmed
Published in: Log. J. IGPL (2007)
Keyphrases