I'm looking for pre books to be able to read martin lof. I'm familiar with denotational/operational semantics, some functional programming, galois theory, algebraic geometry, point set topology, first order logic systems like gentzen, hilbert.
thnx in advance.