Great

aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics

podcast_episode https://aboutlogic.podigee.io/feed/mp3#b1d13e9277672458c31a73022c85fcc0

Ranked

• podcast_episodes
  no. 1013 of 3794 — score +0.00 ± 1.00

Diary

• May 20, 2026 consumed

External

feed_url

https://aboutlogic.podigee.io/feed/mp3

guid

b1d13e9277672458c31a73022c85fcc0

Metadata

parent_title

aboutlogic

duration_ms

2947239

image_url

https://images.podigee-cdn.net/0x,s3qAT4P13JyUTaIMBldNWVTffuhvatsM4f94DlFT50eU=/https://main.podigee-cdn.net/uploads/u81283/4c5de6cc-2180-45f7-bffe-536a22acf136.jpg