O semantyce w Matematyce i Informatyce
czyli w poszukwaniu zagubionego sensu
Przedmowa1. Przegląd historyczny2. Przykłady i abstrakcje2.1. Język, zdania i dowody2.2. Twierdzenie Kleinberga2.3. Ontologie w Informatyce2.4. Abstrakcje<...
Książka (miękka)