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

Philosopher Friends - A podcast by Art Sun

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