Vista normal Vista MARC Vista ISBD

Diaconescu, Ræazvan

Institution-independent model theory [recurso electrónico] / Ræazvan Diaconescu - Basel : Birkhäuser, 2008 - xi, 376 p. - Studies in universal logic .

Acceso sólo para usuarios de REDUNAM




Reproducción electrónica.
New York : Springer,
[2009]

ISBN: 9783764387082 (libro electrónico)

Subjects--Topical Terms:
Teoría del modelo
Lógica simbólica y matemática

Index Terms--Genre/Form:
Libros electrónicos.

LC Class. No.: QA9.7 / D53 2008le