Dialectica principles via Gödel doctrinesOpen Website

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Published: 01 Jan 2023, Last Modified: 29 Mar 2024Theor. Comput. Sci. 2023Readers: Everyone
0 Replies