Login / Signup

-Like Recursively Saturated Models of Presburger's Arithmetic.

Victor Harnik
Published in: J. Symb. Log. (1986)
Keyphrases