von
Preis unbekannt
F.W. Lawvere
Finite Logic Topos boundary element method classification language model theory semantics set theorem tool