Knihobot

Per Lindström

    Per Lindström byl švédský logik, jehož práce ovlivnila teorii modelů a logiku. Jeho klíčový přínos spočívá v objevu důležitých logických vět a kvantifikátorů, které nesou jeho jméno. Byl významným následovníkem Larse Svenoniuse a jeho akademická dráha vyvrcholila disertační prací v oblasti teorie modelů.

    Malmö
    • Malmö

      • 95 stránek
      • 4 hodiny čtení
      Malmö1989