E. Casari

发表

G. Longo, Dirk van Dalen, Annalisa Marcja, 1984, Journal of Symbolic Logic.