Finite model theory

Heinz-Dieter Ebbinghaus, Jörg Flum
Bok · Engelsk · 1995 H.-D. Ebbinghaus

Utgitt	Berlin : Springer , c1995
Omfang	XV, 327 s. : ill.
Emner	Logikk : (NO-TrBIB)HUME00704 Matematikk : (NO-TrBIB)HUME08160 Modellteori Symbolsk logikk : (NO-TrBIB)HUME00719
ISBN	354060149X