autore :  Halpern

1 rivista
book Bulletin of Symbolic Logic (BullSymLog)