Carreiro, Facundo

1. Model Theory of Monadic Predicate Logic with the Infinity Quantifier
   2018/09/10 by Carreiro, Facundo, Facchini, Alessandro, Venema, Yde +1 · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)