Libros
📚

Second-order quantifier elimination

Dov M. Gabbay
2008
Páginas: 308
Género: Symbolic and mathematical Logic


Añadir a mi colección

Formato