Definability, decidability, and computability

Name: Definability, decidability, and computability
Start: 2025-09-01T09:00:00+02:00
End: 2025-12-12T16:00:00+01:00
Location: HIM

September 1 - December 12, 2025 HIM Trimester Program

Europe/Berlin timezone