Advertisement

Semantik

  • Martin Ziegler
Part of the Mathematik Kompakt book series (MAKO, volume 0)

Zusammenfassung

Ein L-Term t hat erst dann einenWert in einer L-Struktur,wenn man die Variablen von t durch Elemente von A belegt.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser / Springer Basel AG 2010

Authors and Affiliations

  • Martin Ziegler
    • 1
  1. 1.Mathematisches InstitutUniversität FreiburgFreiburgDeutschland

Personalised recommendations