Second-Order Logic: Foundations, Expressiveness, and Model Theory #951

Philosopher Friends - Un pódcast de Art Sun

InLifePhilosophy.com Hosted on Acast. See acast.com/privacy for more information.