vix.ing · top · new · best · stats · spec

Gherardi, Guido

  1. Interpolation in extensions of first-order logic
    2018/07/31 by Gherardi, Guido, Maffezioli, Paolo, Orlandelli, Eugenio · 1 citation
    #FOS: Mathematics #Logic (math.LO)