gio54321

Blog
About

Tag: Lambda Calculus

September 17, 2021 Intuitionism does not refute excluded middle

© 2019 - 2024 Giorgio Dell'Immagine