Ivo Pezlar - A logic of judgmental existence and its relation to proof irrelevance

Length 56:03 • 17 Views • 5 days ago
Share

Video Terkait