Set theory with types

Set theory with types 21 Nov 2025 [ AUTOMATH  NG de Bruijn  type theory  set theory  type classes  Principia Mathematica  …

Read more