autore :  Vardi

1 rivista
book Bulletin of Symbolic Logic (BullSymLog)