Login / Signup

Preliminaries to Classical First Order Model Theory.

Marco B. Caminati
Published in: Formaliz. Math. (2011)
Keyphrases