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

Passmann, Robert

  1. The first-order logic of CZF is intuitionistic first-order logic
    2021/12/01 by Passmann, Robert · 1 citation
    #FOS: Mathematics #Logic (math.LO)